Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Verification, Model Checking, and Abstract Interpretation

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Libristo-code: 01558944
Uitgeverij Springer, Berlin, november 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Boek Gebonden (paperback)
common.buy 30.07 €
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Boek Gebonden (paperback)
common.buy 28.65 €
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Boek Gebonden (harde band)
common.buy 10.93 €
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Boek Gebonden (paperback)
common.buy 15.59 €
Koran Hermann-Josef Frisch / Boek Gebonden (paperback)
common.buy 12.65 €
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Boek Gebonden (paperback)
common.buy 18.42 €
Sóvárgás Tracy Wolff / Boek Gebonden (harde band)
common.buy 15.79 €
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Boek Gebonden (paperback)
common.buy 21.56 €
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Boek Gebonden (paperback)
common.buy 161.43 €
Stvorenie hriechu Michal Kučerka / Boek Gebonden (paperback)
common.buy 7.99 €
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Boek Gebonden (paperback)
common.buy 6.78 €
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Boek Gebonden (paperback)
common.buy 9.51 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification, Model Checking, and Abstract Interpretation
Auteur Bernhard Steffen, Giorgio Levi
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2004
Aantal pagina's 325
EAN 9783540208037
ISBN 3540208038
Libristo-code 01558944
Uitgeverij Springer, Berlin
Gewicht 480
Afmetingen 156 x 234 x 18

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Cybersecurity Evan Jones / Boek Gebonden (paperback)
common.buy 47.29 €
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Boek Gebonden (paperback)
common.buy 5.97 €
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Boek Gebonden (harde band)
common.buy 26.93 €
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Boek Gebonden (paperback)
common.buy 20.35 €
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Boek Gebonden (harde band)
common.buy 45.87 €
Truths of Spiritualism Wilson Ebenezer V. Wilson / Boek Gebonden (paperback)
common.buy 26.83 €
The Things We Do For Love: Luke & Shelly Anita Louise / Boek Gebonden (paperback)
common.buy 13.06 €
Unlevel Crossings Michael O'Leary / Boek Gebonden (paperback)
common.buy 7.18 €
Letters from Dollar the Contributor Bunny McCollonough Ceili / Boek Gebonden (paperback)
common.buy 8.60 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Boek Gebonden (paperback)
common.buy 18.83 €
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Boek Gebonden (paperback)
common.buy 51.75 €
NRSV Reference Bible, NR560:X BIBLE / Boek Gebonden (harde band)
common.buy 21.36 €
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Boek Gebonden (paperback)
common.buy 7.69 €
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Boek Gebonden (paperback)
common.buy 13.97 €
History of the Roman Empire John Bagnell Bury / Boek Gebonden (paperback)
common.buy 36.65 €
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Boek Gebonden (paperback)
common.buy 39.29 €
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Boek Gebonden (paperback)
common.buy 103.10 €
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Boek Gebonden (harde band)
common.buy 51.75 €
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Boek Gebonden (paperback)
common.buy 19.54 €
Self-Determination and Secession in International Law Christian Walter / Boek Gebonden (harde band)
common.buy 210.05 €
History, Politics, and the Novel Dominick LaCapra / Boek Gebonden (paperback)
common.buy 51.34 €
In Subordination Mary Kinnear / Boek Gebonden (paperback)
common.buy 44.55 €
Physics of High Power Laser Matter Interactions H. Takabe / Boek Gebonden (harde band)
common.buy 168.32 €
Factors Affecting Calf Crop Michael J. Fields / Boek Gebonden (harde band)
common.buy 318.42 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?