Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verification, Model Checking, and Abstract Interpretation

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Koda Libristo: 01558944
Založba Springer, Berlin, november 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Knjiga Mehka
common.buy 28.14 €
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Knjiga Mehka
common.buy 25.81 €
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Knjiga Trda
common.buy 9.31 €
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Knjiga Mehka
common.buy 14.77 €
Koran Hermann-Josef Frisch / Knjiga Mehka
common.buy 11.94 €
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Knjiga Mehka
common.buy 17.51 €
Sóvárgás Tracy Wolff / Knjiga Trda
common.buy 13.96 €
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Knjiga Mehka
common.buy 19.63 €
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Knjiga Mehka
common.buy 147.43 €
Stvorenie hriechu Michal Kučerka / Knjiga Mehka
common.buy 7.18 €
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Knjiga Mehka
common.buy 6.47 €
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Knjiga Mehka
common.buy 8.60 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verification, Model Checking, and Abstract Interpretation
Avtor Bernhard Steffen, Giorgio Levi
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2004
Število strani 325
EAN 9783540208037
ISBN 3540208038
Koda Libristo 01558944
Založba Springer, Berlin
Teža 480
Mere 156 x 234 x 18

Kategorije

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Cybersecurity Evan Jones / Knjiga Mehka
common.buy 44.55 €
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Knjiga Mehka
common.buy 5.15 €
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Knjiga Trda
common.buy 25.61 €
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Knjiga Mehka
common.buy 19.33 €
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Knjiga Trda
common.buy 43.33 €
Truths of Spiritualism Wilson Ebenezer V. Wilson / Knjiga Mehka
common.buy 25.20 €
The Things We Do For Love: Luke & Shelly Anita Louise / Knjiga Mehka
common.buy 12.34 €
Unlevel Crossings Michael O'Leary / Knjiga Mehka
common.buy 6.88 €
Letters from Dollar the Contributor Bunny McCollonough Ceili / Knjiga Mehka
common.buy 8.09 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Knjiga Mehka
common.buy 17.71 €
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Knjiga Mehka
common.buy 48.90 €
NRSV Reference Bible, NR560:X BIBLE / Knjiga Trda
common.buy 19.13 €
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Knjiga Mehka
common.buy 7.28 €
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Knjiga Mehka
common.buy 13.26 €
History of the Roman Empire John Bagnell Bury / Knjiga Mehka
common.buy 34.42 €
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Knjiga Mehka
common.buy 34.93 €
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Knjiga Mehka
common.buy 97.51 €
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Knjiga Trda
common.buy 48.90 €
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Knjiga Mehka
common.buy 18.42 €
Self-Determination and Secession in International Law Christian Walter / Knjiga Trda
common.buy 200.79 €
History, Politics, and the Novel Dominick LaCapra / Knjiga Mehka
common.buy 49.30 €
In Subordination Mary Kinnear / Knjiga Mehka
common.buy 42.52 €
Physics of High Power Laser Matter Interactions H. Takabe / Knjiga Trda
common.buy 160.49 €
Factors Affecting Calf Crop Michael J. Fields / Knjiga Trda
common.buy 304.28 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?