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

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Libristo kód: 01558944
Nakladatelství Springer, Berlin, listopad 2003
This book constitutes the refereed proceedings of the 5th 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

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Kniha Brožovaná
common.buy 681 Kč
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Kniha Brožovaná
common.buy 692 Kč
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Kniha Pevná
common.buy 251 Kč
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Kniha Brožovaná
common.buy 358 Kč
Koran Hermann-Josef Frisch / Kniha Brožovaná
common.buy 289 Kč
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Kniha Brožovaná
common.buy 423 Kč
Sóvárgás Tracy Wolff / Kniha Pevná
common.buy 381 Kč
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Kniha Brožovaná
common.buy 521 Kč
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Kniha Brožovaná
common.buy 3 902 Kč
Stvorenie hriechu Michal Kučerka / Kniha Brožovaná
common.buy 164 Kč
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Kniha Brožovaná
common.buy 156 Kč
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Kniha Brožovaná
common.buy 229 Kč

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

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 Bernhard Steffen, Giorgio Levi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 325
EAN 9783540208037
ISBN 3540208038
Libristo kód 01558944
Nakladatelství Springer, Berlin
Váha 480
Rozměry 156 x 234 x 18

Kategorie

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
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

Cybersecurity Evan Jones / Kniha Brožovaná
common.buy 1 077 Kč
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Kniha Brožovaná
common.buy 126 Kč
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Kniha Pevná
common.buy 619 Kč
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Kniha Brožovaná
common.buy 467 Kč
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Kniha Pevná
common.buy 1 047 Kč
Truths of Spiritualism Wilson Ebenezer V. Wilson / Kniha Brožovaná
common.buy 610 Kč
The Things We Do For Love: Luke & Shelly Anita Louise / Kniha Brožovaná
common.buy 299 Kč
Unlevel Crossings Michael O'Leary / Kniha Brožovaná
common.buy 166 Kč
Letters from Dollar the Contributor Bunny McCollonough Ceili / Kniha Brožovaná
common.buy 196 Kč
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Kniha Brožovaná
common.buy 429 Kč
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Kniha Brožovaná
common.buy 1 182 Kč
NRSV Reference Bible, NR560:X BIBLE / Kniha Pevná
common.buy 462 Kč
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 176 Kč
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Kniha Brožovaná
common.buy 320 Kč
History of the Roman Empire John Bagnell Bury / Kniha Brožovaná
common.buy 833 Kč
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Kniha Brožovaná
common.buy 845 Kč
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Kniha Brožovaná
common.buy 2 357 Kč
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Kniha Pevná
common.buy 1 182 Kč
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Kniha Brožovaná
common.buy 445 Kč
Self-Determination and Secession in International Law Christian Walter / Kniha Pevná
common.buy 4 634 Kč
History, Politics, and the Novel Dominick LaCapra / Kniha Brožovaná
common.buy 1 192 Kč
In Subordination Mary Kinnear / Kniha Brožovaná
common.buy 1 029 Kč
Physics of High Power Laser Matter Interactions H. Takabe / Kniha Pevná
common.buy 3 879 Kč
Factors Affecting Calf Crop Michael J. Fields / Kniha Pevná
common.buy 7 355 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