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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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 264 Kč
Pověsti Čech, Moravy a Slezska August Sedláček / Kniha Pevná
common.buy 176 Kč
Tantrická masáž Kalashatra Govinda / Kniha Pevná
common.buy 361 Kč
Neumírej před smrtí Jevgenij Jevtušenko / Kniha binding.
common.buy 209 Kč
Death note. Short stories Tsugumi Ohba / Kniha Brožovaná
common.buy 197 Kč
Anekdòt -2 Bob Lapierre / Kniha Brožovaná
common.buy 999 Kč
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Kniha Brožovaná
common.buy 675 Kč
Quer durch Athen Petros Markaris / Kniha Brožovaná
common.buy 249 Kč
Potigny - au siècle des mineurs Benjamin / Kniha Pevná
common.buy 751 Kč
Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck / Kniha Brožovaná
common.buy 458 Kč
Drácula superstar JULIO PEREZ MANZANARES / Audio Audio CD
common.buy 532 Kč
La vuelta al mundo en 80 días GERONIMO STILTON / Kniha Brožovaná
common.buy 338 Kč
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Kniha Brožovaná
common.buy 1 712 Kč
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Kniha Brožovaná
common.buy 914 Kč
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Kniha Brožovaná
common.buy 1 434 Kč
Připravujeme
Das Orakel vom Berge Philip K. Dick / Kniha Brožovaná
common.buy 208 Kč
Quantifizierung Operationeller Risiken Christian Bohlender / Kniha Brožovaná
common.buy 1 209 Kč
Die Wahrheit über mich - Das Fragespiel David Tripolina / Hra/Hračka Hra
common.buy 175 Kč
Processus d'Impression Textiles Zouhaier Romdhani / Kniha Brožovaná
common.buy 934 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 591 Kč
Writing What People Buy Anne Hart / Kniha Brožovaná
common.buy 441 Kč
Level 5: On the Road Jack Kerouac / Kniha Brožovaná
common.buy 286 Kč
Frightened Kitten Holly Webb / Kniha Brožovaná
common.buy 139 Kč
Israel Jack Altman / Kniha Brožovaná
common.buy 126 Kč
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Kniha Brožovaná
common.buy 196 Kč
FEMALE ADOLESCENT FRIENDSHIP and THE CONSTRUCT OF IDENTITY Kristin Van Namen / Kniha Brožovaná
common.buy 1 420 Kč
Top
The Sopranos Family Cookbook Artie Bucco / Kniha Pevná
common.buy 544 Kč
Alfred Dudley: Or The Australian Settlers Sarah Porter / Kniha Pevná
common.buy 903 Kč
Between Facts and Norms - Contributions to a Discourse Theory of Law and Democracy Jürgen Habermas / Kniha Brožovaná
common.buy 588 Kč
Hours Of Solitude A Collection Of Original Poems Volume 1 Charlotte Dacre / Kniha Brožovaná
common.buy 467 Kč
Chess Player's Bible James Eade & Al Lawrence / Kniha Pevná
common.buy 358 Kč
Romance without fiction Henry Bleby / Kniha Brožovaná
common.buy 752 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č
In a Perfect World Trish Doller / Kniha Pevná
common.buy 393 Kč
The Rising Kelley Armstrong / Kniha Brožovaná
common.buy 225 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č
Walking Words Eduardo Galeano / Kniha Brožovaná
common.buy 454 Kč
Levně
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Kniha Brožovaná
common.buy 155 Kč
'Kubla Khan' and the Fall of Jerusalem E. S. Shaffer / Kniha Brožovaná
common.buy 1 446 Kč
Top
Fall I Want PARISH LYRA / Kniha Brožovaná
common.buy 227 Kč
Writing Around the World Matthew McCool / Kniha Pevná
common.buy 4 858 Kč
Dragon Rider Taran Matharu / Kniha Pevná
common.buy 380 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?