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

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Model Checking Software Bernd Fischer
Κωδικός Libristo: 09486332
ΕΕκδοτικός οίκος Springer International Publishing AG, Αύγουστος 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Πλήρης περιγραφή
? points 125 b
51.68 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Servalo Raine Hawthorn / Βιβλίο Χαρτόδετο
common.buy 11.93 €
Nech se vést láskou Sri Chinmoy / Έντυπα Κάρτες
common.buy 4.04 €
451° по Фаренгейту Рэй Брэдбери / Βιβλίο Σκληρόδετο
common.buy 14.05 €
Alta Via delle Dolomiti n. 1. Il più classico dei grandi itinerari dolomitici. Lago di Braies - Belluno / Βιβλίο Χαρτόδετο
common.buy 25.18 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Βιβλίο Σκληρόδετο
common.buy 6.26 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Βιβλίο Χαρτόδετο
common.buy 23.76 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Βιβλίο Χαρτόδετο
common.buy 81.83 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Βιβλίο Σκληρόδετο
common.buy 83.14 €
Al culmine della disperazione Emil M. Cioran / Βιβλίο Χαρτόδετο
common.buy 19.41 €
Two Indian Children of Long Ago Frances Lilian Taylor / Βιβλίο Χαρτόδετο
common.buy 16.28 €
Jóvenes empresarios: apoyo y formación / Βιβλίο Χαρτόδετο
common.buy 54.31 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Ημερολόγιο/ημερολόγιο ατζέντα Ημερολόγιο
common.buy 21.33 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Βιβλίο Χαρτόδετο
common.buy 64.83 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Krankheiten des Magens Max Einhorn / Βιβλίο Χαρτόδετο
common.buy 24.17 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Βιβλίο Σκληρόδετο
common.buy 10.21 €
Jardin Des Cultures Guyanaises Buland-F / Βιβλίο Χαρτόδετο
common.buy 64.02 €
Le Style: Théorie et histoire Ernest Hello / Βιβλίο Σκληρόδετο
common.buy 34.08 €
Προετοιμαζουμε
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Βιβλίο Χαρτόδετο
common.buy 10.41 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Βιβλίο Χαρτόδετο
common.buy 11.72 €
Low Carb Diat Fur Anfanger Simone Jacobs / Βιβλίο Χαρτόδετο
common.buy 16.68 €
Teczka ofertowa 9002 A4 20 koszulek / Βιβλίο binding.
common.buy 3.94 €
Espacio Joven 360: Level B1.2: Exercises Book Equipo Espacio / Βιβλίο Χαρτόδετο
common.buy 11.32 €
COLOREA TU UNICORNIO / Βιβλίο Βιβλίο
common.buy 7.68 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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

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

Πλήρες όνομα Model Checking Software
Συγγραφέας Bernd Fischer, Jaco Geldenhuys
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2015
Αριθμός σελίδων 319
EAN 9783319234038
ISBN 331923403X
Κωδικός Libristo 09486332
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 5153
Διαστάσεις 155 x 235 x 20

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Βιβλίο Σκληρόδετο
common.buy 675.42 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Βιβλίο Χαρτόδετο
common.buy 12.33 €
Branding Japanese Food Katarzyna J. Cwiertka / Βιβλίο Σκληρόδετο
common.buy 84.96 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Βιβλίο Σκληρόδετο
common.buy 59.67 €
The Middle-Class Gentleman Moliere / Βιβλίο Χαρτόδετο
common.buy 7.07 €
The New Century Standard Letter-Writer Alfred B. Chambers / Βιβλίο Χαρτόδετο
common.buy 35.70 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Βιβλίο Χαρτόδετο
common.buy 12.74 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Βιβλίο Χαρτόδετο
common.buy 21.33 €
Transactions of the Royal Society of Tropical Medicine and Hygiene Volume 12 N.3 Royal Society of Tropical Medicine and H / Βιβλίο Σκληρόδετο
common.buy 28.21 €
Gorilla Stephanie Turnbull / Βιβλίο Χαρτόδετο
common.buy 8.69 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Βιβλίο Χαρτόδετο
common.buy 31.85 €
Τοπ
Overlord, Vol. 1 (manga) Kugane Maruyama / Βιβλίο Χαρτόδετο
common.buy 11.32 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Βιβλίο Χαρτόδετο
common.buy 61.19 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Βιβλίο Χαρτόδετο
common.buy 100.54 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Βιβλίο Σκληρόδετο
common.buy 47.03 €
Sim Chung and the River Dragon-A Folktale from Korea Ellen Schecter / Βιβλίο Χαρτόδετο
common.buy 10.51 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Βιβλίο Χαρτόδετο
common.buy 16.58 €
Sight Words for Kids Learning to Write and Read Bucur Kids / Βιβλίο Χαρτόδετο
common.buy 8.08 €
Crossing the Himalayas Ghulam Ali / Βιβλίο Σκληρόδετο
common.buy 133.82 €
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Βιβλίο Χαρτόδετο
common.buy 11.32 €
Psychology Ryan Gold / Βιβλίο Χαρτόδετο
common.buy 14.35 €
Delicious Rob Dunn / Βιβλίο Χαρτόδετο
common.buy 18.30 €
Superpower Involvement In The Middle East Paul Marantz / ebook Adobe ePub DRM
common.buy 57.95 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / ebook Adobe ePub DRM
common.buy 2.01 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;