Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Model Checking Software

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Model Checking Software Dragan Bosnacki
Κωδικός Libristo: 01568802
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούνιος 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Πλήρης περιγραφή
? points 125 b
51.54 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Grundlinien der Philosophie D. Fr. Ast / Βιβλίο Χαρτόδετο
common.buy 49.83 €
Ötanazi Okulu 1 Ciltli / Βιβλίο Χαρτόδετο
common.buy 20.07 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Βιβλίο Χαρτόδετο
common.buy 10.18 €
LES PEINTURES Beeckman / Βιβλίο Χαρτόδετο
common.buy 11.39 €
Das Quiz für Besserwisser I ab 10 Jahren / Βιβλίο Σκληρόδετο
common.buy 5.64 €
Krevní banka Tanya Huffová / Βιβλίο Χαρτόδετο
common.buy 8.16 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Βιβλίο Χαρτόδετο
common.buy 35.60 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Βιβλίο Χαρτόδετο
common.buy 35.80 €
Τοπ
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Βιβλίο Χαρτόδετο
common.buy 23.09 €
Pasta Masterclass Wiebke Krabbe / Βιβλίο Σκληρόδετο
common.buy 25.21 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Βιβλίο Χαρτόδετο
common.buy 32.78 €
Senzibil Markéta Pilátová / Βιβλίο Σκληρόδετο
common.buy 11.89 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Βιβλίο Χαρτόδετο
common.buy 27.13 €
Τοπ
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Βιβλίο Χαρτόδετο
common.buy 13.91 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Βιβλίο Χαρτόδετο
common.buy 9.27 €
Φθηνά
Raphael und Pinturicchio in Siena August Schmarsow / Βιβλίο Χαρτόδετο
common.buy 1.50 €
Sally y la maldición del rubí PULLMAN / Βιβλίο Χαρτόδετο
common.buy 7.86 €
La psicología en la escuela Delval / Βιβλίο Χαρτόδετο
common.buy 18.25 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Βιβλίο Χαρτόδετο
common.buy 52.96 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Βιβλίο Χαρτόδετο
common.buy 17.75 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Βιβλίο Χαρτόδετο
common.buy 39.64 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Model Checking Software
Συγγραφέας Dragan Bosnacki, Stefan Edelkamp
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2007
Αριθμός σελίδων 285
EAN 9783540733690
ISBN 3540733698
Κωδικός Libristo 01568802
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 462
Διαστάσεις 155 x 235 x 17

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Βιβλίο Σκληρόδετο
common.buy 80.30 €
Space Warfare in the 21st Century Joan Johnson-Freese / Βιβλίο Χαρτόδετο
common.buy 61.03 €
First Man Simon Schwartz / Βιβλίο Σκληρόδετο
common.buy 35.20 €
Islam in Turkey Frances Hawker / Βιβλίο Χαρτόδετο
common.buy 8.87 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Βιβλίο Χαρτόδετο
common.buy 13.61 €
Facebook Marketing Guide for Beginners Steven Murphy / Βιβλίο Χαρτόδετο
common.buy 12.80 €
Drug And Disease Free Michael Broder / Βιβλίο Χαρτόδετο
common.buy 10.48 €
Clinical Oral Pathology Nabil Kochaji / Βιβλίο Σκληρόδετο
common.buy 100.47 €
Centroeuropa Vincente Luis Mora / Βιβλίο Χαρτόδετο
common.buy 11.79 €
Τοπ
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Βιβλίο Χαρτόδετο
common.buy 35.80 €
Spelling and Dictation Class-Book Anonymous / Βιβλίο Χαρτόδετο
common.buy 15.22 €
Around the World in 80 Days Jules Verne / Βιβλίο Χαρτόδετο
common.buy 8.26 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / ebook Adobe ePub DRM
common.buy 368.33 €
The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Βιβλίο Χαρτόδετο
common.buy 15.53 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Βιβλίο Χαρτόδετο
common.buy 11.09 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Βιβλίο Χαρτόδετο
common.buy 33.58 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Βιβλίο Χαρτόδετο
common.buy 14.62 €
LEARN VIETNAMESE WITH WORD SEARCH PUZZLES FOR ADULTS - Discover How to Improve Foreign Language Skills with a Fun Vocabulary Builder. Find 2000 Words LINGUA CLASSICS / Βιβλίο Χαρτόδετο
common.buy 12.80 €
Preaching the Tradition Rex Mason / Βιβλίο Χαρτόδετο
common.buy 50.23 €
Peer Instruction: Pearson New International Edition Eric Mazur / Βιβλίο Χαρτόδετο
common.buy 78.08 €
MOD Richard Weight / Βιβλίο Χαρτόδετο
common.buy 16.03 €
Breaking the Silence : Little Rock's Women's Emergency Committee to Open Our Sara Alderman Murphy / Βιβλίο Σκληρόδετο
common.buy 49.53 €
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Βιβλίο Σκληρόδετο
common.buy 80.50 €
Contact! Bob Tuxford / Βιβλίο Σκληρόδετο
common.buy 32.17 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo