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

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck
Libristo-code: 01556086
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2002
This book constitutes the refereed proceedings of the 4th International Conference on Verification,... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Voyage, découvre, explore. Les espèces mènacées Trevisan / Boek Leporello (harmonicaboek)
common.buy 17.27 €
I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books / Boek Gebonden (paperback)
common.buy 16.56 €
Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc / Boek Gebonden (harde band)
common.buy 20.60 €
Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky / Boek Gebonden (paperback)
common.buy 12.62 €
Bella Donna (Remastered) Stevie Nicks / Audio Audio cd
common.buy 8.58 €
Question Monetaire: Conference Imhaus-G / Boek Gebonden (paperback)
common.buy 14.54 €
Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George / Boek Gebonden (paperback)
common.buy 25.15 €
Dzdzownica Zaneta Pszczolki Lotniczki / Spel/speelgoed Spel
common.buy 13.73 €
Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen / Boek Gebonden (paperback)
common.buy 17.98 €

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

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 Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2002
Aantal pagina's 328
EAN 9783540003489
ISBN 3540003487
Libristo-code 01556086
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1070
Afmetingen 155 x 233 x 19

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

Advances in Solid State Physics Bernhard Kramer / Boek Gebonden (harde band)
common.buy 205.53 €
Resocialising Europe in a Time of Crisis Nicola Countouris & Mark Freedland / Boek Gebonden (harde band)
common.buy 118.32 €
Core and Equilibria of a Large Economy. (PSME-5) Werner Hildenbrand / Boek Gebonden (harde band)
common.buy 102.26 €
War Years of a Teenager Eugene Cowles / Boek Gebonden (harde band)
common.buy 32.63 €
Theres a Medical Name for This Kerrin P. Sharpe / Boek Gebonden (paperback)
common.buy 15.75 €
Spiritual Appeal to Christ's Bride Jodocus Van Lodenstein / Boek Gebonden (paperback)
common.buy 13.94 €
TOP
Postures and Movement Patterns of the Human Hand Catherine A. Trombly Latham / Boek Gebonden (paperback)
common.buy 35.36 €
Land Warmed by a Song Rustaveli Publishing LLC / Boek Gebonden (paperback)
common.buy 19.29 €
Essay Writing Made Easy: for Everyone Who Hates to Write Essays Shannon Michal Dow / Boek Gebonden (paperback)
common.buy 7.67 €
200 Worksheets - Find Successor of 7 Digit Numbers: Math Practice Workbook Kapoo Stem / Boek Gebonden (paperback)
common.buy 11.21 €
Happiness With Positive Thinking: Discard Worries For Happy Living MR Baldev Bhatia / Boek Gebonden (paperback)
common.buy 14.84 €

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