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

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Libristo kód: 01655343
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Celý popis
? points 135 b
1 352 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Le Coran expliqué aux jeunes Rachid Benzine / Kniha Brožovaná
common.buy 304 Kč
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Kniha Pevná
common.buy 215 Kč
Burenkrieg (1899-1902) Burkhard Werner / Kniha Brožovaná
common.buy 309 Kč
Augusto Giacometti Beat Stutzer / Kniha Brožovaná
common.buy 976 Kč
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Kniha Brožovaná
common.buy 406 Kč
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Kniha Brožovaná
common.buy 711 Kč
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Kniha Brožovaná
common.buy 915 Kč
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Kniha Brožovaná
common.buy 369 Kč
Plansza dwustronna A4 ściąga Europa / Kniha binding.
common.buy 43 Kč
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-kniha Adobe ePub DRM
common.buy 340 Kč
Joan Miro TBD / Kniha Pevná
common.buy 897 Kč
Dawit Isaak Anisur Rahman / Kniha Brožovaná
common.buy 577 Kč
UN HERISSON EMMANUELLE KECIR-LEPETIT / Kniha Kniha
common.buy 329 Kč
Jak jsem se (ne)stal agentem StB Jan Vaněček / Kniha binding.
common.buy 83 Kč
Holašovice: Vesnická památková rezervace collegium / Kniha List
common.buy 293 Kč
Des petits mondes en leur début / Kniha Brožovaná
common.buy 794 Kč
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Kniha Pevná
common.buy 1 166 Kč
Indische Reisebriefe Ernst Haeckel / Kniha Brožovaná
common.buy 813 Kč
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Kniha Brožovaná
common.buy 713 Kč
Sang famille Michel Bussi / Kniha Brožovaná
common.buy 321 Kč
Traite Du Jeu. Volume 1 BARBEYRAC-J / Kniha Brožovaná
common.buy 697 Kč
Gottfried Keller Albert Köster / Kniha Brožovaná
common.buy 607 Kč
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Kniha Brožovaná
common.buy 315 Kč
Iniciacion deportiva en la escuela Abadi / Kniha Brožovaná
common.buy 720 Kč

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

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 Gilles Barthe, Manuel Hermenegildo
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 397
EAN 9783642113185
ISBN 3642113184
Libristo kód 01655343
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 612
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

Bio-Inspired Computing and Applications De-Shuang Huang / Kniha Brožovaná
common.buy 1 352 Kč
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Kniha Pevná
common.buy 1 425 Kč
Changing Room Zhai Yongming / Kniha Brožovaná
common.buy 465 Kč
Torn in the New Sa Bronwyn McIntosh / Kniha Brožovaná
common.buy 553 Kč
English Physician's Guide or a Holy Guide V1 John Heydon / Kniha Pevná
common.buy 1 250 Kč
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Kniha Brožovaná
common.buy 637 Kč
REASONABLE SERVICE WILLIAM PAG ROBERTS / Kniha Pevná
common.buy 728 Kč
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Kniha Brožovaná
common.buy 587 Kč
Seven Hours at the Ocean Ty Davis / Kniha Brožovaná
common.buy 176 Kč
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Kniha Brožovaná
common.buy 522 Kč
Entering the Healing Ground WELLER FRANCIS / Kniha Brožovaná
common.buy 318 Kč
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Kniha Brožovaná
common.buy 382 Kč
Two Dark Reigns Kendare Blake / Kniha Brožovaná
common.buy 202 Kč
The Voice of the Pack Edison Marshall / Kniha Brožovaná
common.buy 728 Kč
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Kniha Brožovaná
common.buy 299 Kč
My Mom is a Construction Manager Princess Karibo / Kniha Brožovaná
common.buy 620 Kč
Robert Rauschenberg and Surrealism Gavin Parkinson / Kniha Brožovaná
common.buy 984 Kč
30 Great Books That Made History Aurell / Kniha Brožovaná
common.buy 517 Kč
Think Starter Workbook with Online Practice Herbert Puchta / Kniha Pevná
common.buy 245 Kč
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Kniha Pevná
common.buy 1 811 Kč
Anthems for Choirs 4 Christopher Morris / Tiskovina Noty
common.buy 620 Kč
Get addicted to free-motion quilting Sheila Sinclair Snyder / Kniha Brožovaná
common.buy 425 Kč
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Kniha Brožovaná
common.buy 2 357 Kč
History of the People's Republic of China, 1949-1976 Julia Strauss / Kniha Brožovaná
common.buy 1 091 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