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.

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Dragan Bosnacki
Libristo-code: 01564229
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Drukwerk Bladmuziek
common.buy 21.11 €
La Cascade Féerique, Audio-CD Michel Pépé / Audio Audio cd
common.buy 17.37 €
BilMoG und Interne Revision Alexander Hofem / Boek Gebonden (paperback)
common.buy 30.61 €
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Boek Gebonden (paperback)
common.buy 10.20 €
Erlebnis und Geschichte Edgar Feuchtwanger / Boek Gebonden (paperback)
common.buy 34.04 €
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Boek Gebonden (paperback)
common.buy 35.66 €

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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 Dragan Bosnacki, Stefan Leue
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2002
Aantal pagina's 262
EAN 9783540434771
ISBN 3540434771
Libristo-code 01564229
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 472
Afmetingen 155 x 235 x 16

Categorieën

Informatica en informatietechnologie > Grafische en digitale media-applicaties > 3D graphics en modellering
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

Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Boek Gebonden (paperback)
common.buy 28.79 €
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Boek Gebonden (paperback)
common.buy 17.17 €
Picross Hanjie Griddlers Nonograms book Djape / Boek Gebonden (paperback)
common.buy 12.12 €
Indictment of the American Clergy THOMAS WADE / Boek Gebonden (paperback)
common.buy 15.25 €
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Boek Gebonden (paperback)
common.buy 13.23 €
Lilith: the Legend of the First Woman Ada Langworthy Collier / Boek Gebonden (paperback)
common.buy 19.39 €
The Queen's Gamble Barbara Kyle / Boek Gebonden (paperback)
common.buy 17.98 €
French & Indian War Novels Joseph A. Altsheler / Boek Gebonden (harde band)
common.buy 42.94 €
Forever Words James Garvin / Boek Gebonden (paperback)
common.buy 13.13 €
Shakespeare and Race Imtiaz Habib / Boek Gebonden (harde band)
common.buy 80.53 €
Social Structure Charles Crothers / Boek Gebonden (harde band)
common.buy 234.74 €
Power to the Patient Atlas / Boek Gebonden (paperback)
common.buy 14.04 €
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Boek Gebonden (harde band)
common.buy 137.32 €
For Derrida J. Hillis Miller / Boek Gebonden (paperback)
common.buy 55.77 €
Critical Dictionary of the French Revolution Francois Furet / Boek Gebonden (harde band)
common.buy 226.25 €
Modern Monetary Theory M.L. Burstein / Boek Gebonden (paperback)
common.buy 119.54 €
Strangers In Death J. D. Robb / Boek Gebonden (paperback)
common.buy 12.62 €

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