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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Matthew Dwyer
Libristo-code: 01563494
Uitgeverij Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Volledige beschrijving
? points 125 b
51.72 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Boek Gebonden (paperback)
common.buy 48.99 €
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-book Adobe ePub DRM
common.buy 14.87 €
Vláček a jeho kamarádi / Boek Leporello (harmonicaboek)
common.buy 12.44 €
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Boek Gebonden (paperback)
common.buy 6.27 €
Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh / Boek Gebonden (paperback)
common.buy 21.25 €
Wordt verwacht
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Drukwerk Speelkaarten
common.buy 19.83 €
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Boek Gebonden (paperback)
common.buy 40.18 €
Tokos Gianna Hedderich / Boek Gebonden (paperback)
common.buy 34.61 €
MI Jevgenyij Zamjatyin / Boek Gebonden (harde band)
common.buy 11.03 €
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalender/agenda Kalender
common.buy 73.90 €
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Audio vinyl
common.buy 37.96 €
Číňan Henning Mankell / Boek Gebonden (harde band)
common.buy 12.44 €
Shopkins Cicibiciler - Mutsuz Kurabi / Boek Gebonden (paperback)
common.buy 21.15 €
Český jazyk pro 3. ročník SOŠ Čechová / Boek Gebonden (paperback)
common.buy 8.39 €
Postdemokratie Colin Crouch / Boek Gebonden (paperback)
common.buy 12.85 €
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Boek Gebonden (paperback)
common.buy 16.19 €
Treasurers of the Snow Patricia St John / Boek Gebonden (paperback)
common.buy 14.67 €
La casa de Tomasa Phyllis Root / Boek Gebonden (paperback)
common.buy 22.57 €
Aguas arriba de mi madre Arnáiz / Boek Gebonden (paperback)
common.buy 23.07 €
Fiat 850. 1964-1973 Alessandro Sannia / Boek Gebonden (paperback)
common.buy 22.67 €
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Boek Gebonden (paperback)
common.buy 22.67 €
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Boek Gebonden (paperback)
common.buy 10.82 €
La bible de l'homéopathie et des traitements naturels Alain Paul / Boek Gebonden (paperback)
common.buy 28.64 €
Voordelig
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Boek Gebonden (harde band)
common.buy 11.23 €

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

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 Model Checking Software
Auteur Matthew Dwyer
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 318
EAN 9783540421245
ISBN 3540421246
Libristo-code 01563494
Uitgeverij Springer, Berlin
Gewicht 467
Afmetingen 155 x 235 x 17

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
Informatica en informatietechnologie > Besturingssystemen
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

Damnation Peter McLean / Boek Gebonden (paperback)
common.buy 12.34 €
Do Vikings Wear Glasses? Jon Laidlaw / Boek Gebonden (paperback)
common.buy 16.19 €
Cracked Chessboard Elizabeth Emberton / Boek Gebonden (paperback)
common.buy 18.42 €
Leisure Marketing HORNER / Boek Gebonden (harde band)
common.buy 283.87 €
Philip Roth: Nemeses (LOA #237) Philip Roth / Boek Gebonden (harde band)
common.buy 27.12 €
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Boek Gebonden (paperback)
common.buy 31.68 €
Three Nearsighted Mice Diane Epstein / Boek Gebonden (paperback)
common.buy 15.78 €
Hollow MYERS CELINA / Boek Gebonden (harde band)
common.buy 20.74 €
Oxford Handbook of International Criminal Law Darryl Robinson / Boek Gebonden (paperback)
common.buy 63.47 €
Finally Enough Love Madonna / Audio Audio vinyl
common.buy 34.11 €
History of Market Drayton John Robinson Lee / Boek Gebonden (paperback)
common.buy 17.10 €
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Boek Gebonden (paperback)
common.buy 31.68 €
Prince Charming Charity L Maness / Boek Gebonden (paperback)
common.buy 10.32 €
A Prayer for Inner Peace Allan A Glatthorn / Boek Gebonden (paperback)
common.buy 12.14 €
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Boek Gebonden (paperback)
common.buy 17.50 €
Love and War Warren MacQuarrie / Boek Gebonden (harde band)
common.buy 40.99 €
Lonely Hearts Cry Anji Nolan / Boek Gebonden (paperback)
common.buy 15.28 €
Saint of Lost Things Tish Delaney / E-book Adobe ePub DRM
common.buy 9.91 €
Data Governance Act Moritz Hennemann / Boek Gebonden (harde band)
common.buy 178.88 €
American Nation: A History, Vol. 9 Jeremy Schifeling / Luisterboek MP3
common.buy 20.14 €
My School Improvement Doodle Book Ben Keeling / Boek Gebonden (paperback)
common.buy 14.87 €
Underdog Sue-Ann Levy / Boek Gebonden (harde band)
common.buy 29.45 €
Cutting Edge 3rd Edition Intermediate Teacher's Book and Teacher's Resource Disk Pack Damian Williams / Boek Gebonden (paperback)
common.buy 68.23 €
Oxford English for Academic Purposes B1+ Teacher's Handbook de Chazal Edward / Boek Gebonden (paperback)
common.buy 53.14 €

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?