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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Dragan Bosnacki
Libristo-code: 01568802
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2007
This book constitutes the refereed proceedings of the 14th 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

Grundlinien der Philosophie D. Fr. Ast / Boek Gebonden (paperback)
common.buy 52.54 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Boek Gebonden (paperback)
common.buy 35.86 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Boek Gebonden (paperback)
common.buy 10.10 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Boek Gebonden (paperback)
common.buy 35.66 €
LES PEINTURES Beeckman / Boek Gebonden (paperback)
common.buy 11.41 €
TOP
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Boek Gebonden (paperback)
common.buy 14.84 €
Ötanazi Okulu 1 Ciltli / Boek Gebonden (paperback)
common.buy 20.10 €
TOP
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Boek Gebonden (paperback)
common.buy 23.13 €
Pasta Masterclass Wiebke Krabbe / Boek Gebonden (harde band)
common.buy 25.25 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Boek Gebonden (paperback)
common.buy 39.70 €
Krevní banka Tanya Huffová / Boek Gebonden (paperback)
common.buy 8.18 €
Das Quiz für Besserwisser I ab 10 Jahren / Boek Gebonden (harde band)
common.buy 7.37 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Boek Gebonden (paperback)
common.buy 34.65 €
Senzibil Markéta Pilátová / Boek Gebonden (harde band)
common.buy 11.91 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Boek Gebonden (paperback)
common.buy 25.96 €
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Boek Gebonden (paperback)
common.buy 16.36 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Boek Gebonden (paperback)
common.buy 18.68 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Boek Gebonden (paperback)
common.buy 8.78 €
Voordelig
Raphael und Pinturicchio in Siena August Schmarsow / Boek Gebonden (paperback)
common.buy 1.51 €
Sally y la maldición del rubí PULLMAN / Boek Gebonden (paperback)
common.buy 7.97 €
La psicología en la escuela Delval / Boek Gebonden (paperback)
common.buy 18.28 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Boek Gebonden (paperback)
common.buy 53.04 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Edelkamp
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2007
Aantal pagina's 285
EAN 9783540733690
ISBN 3540733698
Libristo-code 01568802
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 462
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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Boek Gebonden (paperback)
common.buy 14.84 €
Space Warfare in the 21st Century Joan Johnson-Freese / Boek Gebonden (paperback)
common.buy 58.50 €
First Man Simon Schwartz / Boek Gebonden (harde band)
common.buy 34.75 €
Islam in Turkey Frances Hawker / Boek Gebonden (paperback)
common.buy 8.38 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Boek Gebonden (paperback)
common.buy 12.82 €
Facebook Marketing Guide for Beginners Steven Murphy / Boek Gebonden (paperback)
common.buy 12.12 €
Drug And Disease Free Michael Broder / Boek Gebonden (paperback)
common.buy 9.89 €
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Boek Gebonden (harde band)
common.buy 76.99 €
Around the World in 80 Days Jules Verne / Boek Gebonden (paperback)
common.buy 7.87 €
TOP
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Boek Gebonden (paperback)
common.buy 37.99 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Boek Gebonden (paperback)
common.buy 10.60 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Boek Gebonden (paperback)
common.buy 32.12 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Boek Gebonden (paperback)
common.buy 14.95 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-book Adobe ePub DRM
common.buy 367.22 €
Centroeuropa Vincente Luis Mora / Boek Gebonden (paperback)
common.buy 12.62 €
Clinical Oral Pathology Nabil Kochaji / Boek Gebonden (harde band)
common.buy 100.64 €
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Boek Gebonden (harde band)
common.buy 77.19 €
Deregulation of Network Industries Sam Peltzman / Boek Gebonden (paperback)
common.buy 33.14 €
Little Men Louisa May Alcott / Boek Gebonden (paperback)
common.buy 11.51 €
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Boek Gebonden (paperback)
common.buy 188.35 €
Swahili for Foreigners Alice Wanjiku Mangat / Boek Gebonden (paperback)
common.buy 50.52 €
Preaching the Tradition Rex Mason / Boek Gebonden (paperback)
common.buy 48.09 €
Contact! Bob Tuxford / Boek Gebonden (harde band)
common.buy 34.15 €
MOD Richard Weight / Boek Gebonden (paperback)
common.buy 17.07 €

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