Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Libristo kód: 01571263
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Kniha Brožovaná
common.buy 752 Kč
Geheime Liebe auf Sylt Gabriele Diechler / Kniha Brožovaná
common.buy 258 Kč
Neumírej před smrtí Jevgenij Jevtušenko / Kniha binding.
common.buy 234 Kč
Top
Tantrická masáž Kalashatra Govinda / Kniha Pevná
common.buy 473 Kč
Anekdòt -2 Bob Lapierre / Kniha Brožovaná
common.buy 971 Kč
Bhagavad Gita As It Is [Bengali Language] A. C. Bhaktivedanta Swami Prabhupada / Kniha Brožovaná
common.buy 506 Kč
Top
A zárda gyermekei Patricia Gibney / Kniha Pevná
common.buy 327 Kč
剑神重生：第二十一部 天雷猪 / Kniha Brožovaná
common.buy 1 025 Kč
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Kniha Brožovaná
common.buy 675 Kč
Quer durch Athen Petros Markaris / Kniha Brožovaná
common.buy 378 Kč
Illusions comiques à l'irlandaise Kilroy Kniha Brožovaná
common.buy 428 Kč
Potigny - au siècle des mineurs Benjamin / Kniha Pevná
common.buy 722 Kč
Připravujeme
Das Orakel vom Berge Philip K. Dick / Kniha Brožovaná
common.buy 208 Kč
Feynman-Vorlesungen über Physik / Strahlung und Wärme Richard P. Feynman / Kniha Pevná
common.buy 1 658 Kč
Processus d'Impression Textiles Zouhaier Romdhani / Kniha Brožovaná
common.buy 933 Kč
Quantifizierung Operationeller Risiken Christian Bohlender / Kniha Brožovaná
common.buy 1 203 Kč
Pověsti Čech, Moravy a Slezska August Sedláček / Kniha Pevná
common.buy 226 Kč
Top
La vuelta al mundo en 80 días GERONIMO STILTON / Kniha Brožovaná
common.buy 473 Kč
Die Wahrheit über mich - Das Fragespiel David Tripolina / Hra/Hračka Hra
common.buy 175 Kč
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Kniha Brožovaná
common.buy 913 Kč
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Kniha Brožovaná
common.buy 1 433 Kč
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Kniha Brožovaná
common.buy 1 736 Kč
Fuzzy-Expertensysteme Zur Beurteilung Von Kreditrisiken Hans-Peter Güllich / Kniha Brožovaná
common.buy 1 214 Kč
Propaganda. 100 Seiten Alexandra Bleyer / Kniha Brožovaná
common.buy 240 Kč

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Neil D. Jones, Markus Müller-Olm
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 381
EAN 9783540938996
ISBN 3540938990
Libristo kód 01571263
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 605
Rozměry 155 x 235 x 23

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Diagram Geometry Buekenhout / Kniha Brožovaná
common.buy 2 590 Kč
Writing What People Buy Anne Hart / Kniha Brožovaná
common.buy 441 Kč
Top
Invincible Compendium Volume 3 Robert Kirkman / Kniha Brožovaná
common.buy 1 134 Kč
Tiny House: Remarkable Beginners Guide to Interior Design, Affordable Living, and 50 Hacks for Ginormous Living! Michael Scott Reeves / Kniha Brožovaná
common.buy 299 Kč
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Kniha Brožovaná
common.buy 196 Kč
A Treatise on the Office and Duty of a Justice of the Peace, Sheriff, Coroner, Constable, and of Executors, Administrators, and Guardians: In Which Ar James Ewing / Kniha Brožovaná
common.buy 728 Kč
Romance without fiction Henry Bleby / Kniha Brožovaná
common.buy 752 Kč
In a Perfect World Trish Doller / Kniha Pevná
common.buy 403 Kč
Literature Criticism from 1400 to 1800 Gale Cengage Learning / Kniha Pevná
common.buy 14 117 Kč
Life and Times of General Sir Edward Cecil, Viscount Wimbledon, Colonel of an English Regiment in the Dutch Service, 1605-1631, and One of His Majesty Charles Dalton / Kniha Pevná
common.buy 881 Kč
Levně
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Kniha Brožovaná
common.buy 62 Kč
Written Corrective Feedback for L2 Development Qi Guo / Kniha Pevná
common.buy 3 036 Kč
Size of My Family is Just Right for Me Jacqueline Ward Barrett / Kniha Brožovaná
common.buy 370 Kč
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Kniha Brožovaná
common.buy 392 Kč
32 Fangs: A Final Vampire Tale David Wellington / Kniha Brožovaná
common.buy 364 Kč
The Rising Kelley Armstrong / Kniha Brožovaná
common.buy 292 Kč
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Kniha Pevná
common.buy 1 164 Kč
Chess Player's Bible James Eade & Al Lawrence / Kniha Pevná
common.buy 358 Kč
Kurdish Armour Against ISIS Alaric (University of Salford Searle / Kniha Brožovaná
common.buy 270 Kč
Python: Beginner's Guide to Programming Code with Python Charlie Masterson / E-kniha Adobe ePub DRM
common.buy 106 Kč
Routledge Companion to Shakespeare and Religion Will Stockton / E-kniha Adobe ePub DRM
common.buy 1 873 Kč
Cerebral Entanglements Allan J. Hamilton / E-kniha Adobe ePub DRM
common.buy 468 Kč
Top
Fall I Want Lyra Parish / Kniha Brožovaná
common.buy 226 Kč
Contemporary Ballet / Kniha Pevná
common.buy 856 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?