Έλεγχος κατάστασης παραγγελίας
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

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

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

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

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

Agility Kompakt Peter Hruschka / Βιβλίο Χαρτόδετο
common.buy 23.26 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Βιβλίο Χαρτόδετο
common.buy 10.81 €
Match Jones Bolt / Βιβλίο Σκληρόδετο
common.buy 29.02 €
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Βιβλίο Χαρτόδετο
common.buy 13.24 €
Les Breves de Fin du Monde Noyé / Βιβλίο Χαρτόδετο
common.buy 9.30 €
Destruidor - Parte Nove Sky Corgan / ebook Adobe ePub DRM
common.buy 1.00 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Βιβλίο Χαρτόδετο
common.buy 39.24 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Βιβλίο Χαρτόδετο
common.buy 30.84 €
LEGO® City Joyeux Noël AMEET Studio / Βιβλίο Βιβλίο
common.buy 12.03 €
Postkarten-Set George Barbier George Barbier / Βιβλίο Χαρτόδετο
common.buy 6.67 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Βιβλίο Χαρτόδετο
common.buy 13.34 €
Legendes de Noel M G Lenotre / Βιβλίο Χαρτόδετο
common.buy 19.51 €
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Βιβλίο Χαρτόδετο
common.buy 6.56 €
Ajeduca 4. Escobar Domínguez / Βιβλίο Χαρτόδετο
common.buy 13.34 €
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Βιβλίο Χαρτόδετο
common.buy 32.66 €
CUARTO MOSQUETERO, EL Riccardo Freda / Βιβλίο Χαρτόδετο
common.buy 11.93 €
Moutons Et Colons En Patagonie Fernando Coronato / Βιβλίο Χαρτόδετο
common.buy 94.17 €
Ursprachlehre Friedrich Schmitthenner / Βιβλίο Σκληρόδετο
common.buy 102.97 €
Psychologische Typen Carl G. Jung / Βιβλίο Χαρτόδετο
common.buy 59.67 €
François Truffaut Robert Ingram / Βιβλίο Σκληρόδετο
common.buy 14.86 €

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

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

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

Πλήρες όνομα Model Checking Software
Συγγραφέας Dragan Bosnacki, Anton Wijs
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2016
Αριθμός σελίδων 245
EAN 9783319325811
ISBN 3319325817
Κωδικός Libristo 02961433
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 4044
Διαστάσεις 155 x 235 x 235

Κατηγορία

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Βιβλίο Σκληρόδετο
common.buy 102.97 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Βιβλίο Χαρτόδετο
common.buy 13.54 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Βιβλίο Χαρτόδετο
common.buy 8.99 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Βιβλίο Χαρτόδετο
common.buy 16.48 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Βιβλίο Χαρτόδετο
common.buy 16.58 €
The Darkest King: William's Story Gena Showalter / Βιβλίο Χαρτόδετο
common.buy 8.99 €
Shadow Lost D K Holmberg / Βιβλίο Χαρτόδετο
common.buy 13.75 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Βιβλίο Σκληρόδετο
common.buy 93.86 €
Missouri Birds James Kavanagh / Βιβλίο Χαρτόδετο
common.buy 9.70 €
The Architect's Apprentice Elif Shafak / Βιβλίο Χαρτόδετο
common.buy 15.16 €
Modern Feminist Theory Jennifer Rich / Βιβλίο Χαρτόδετο
common.buy 16.28 €
Alcoholism Ernest Holmes / Βιβλίο Χαρτόδετο
common.buy 9.70 €
The Cheyenne Pool Lewis B Patten / Βιβλίο Σκληρόδετο
common.buy 39.34 €
Mediterranean Ecosystems G. Spezie / Βιβλίο Χαρτόδετο
common.buy 205.74 €
Roman Catholic Modernists Confront the Great War C. Talar / Βιβλίο Σκληρόδετο
common.buy 58.46 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Βιβλίο Σκληρόδετο
common.buy 38.13 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Βιβλίο Χαρτόδετο
common.buy 15.57 €
Bears Don't Read! Emma Chichester Clark / Βιβλίο Σκληρόδετο
common.buy 14.86 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Βιβλίο Σκληρόδετο
common.buy 132.20 €
Τοπ Νέα
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Βιβλίο Σκληρόδετο
common.buy 37.01 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Βιβλίο Χαρτόδετο
common.buy 102.97 €
Wiel Arets - Bas Princen John Bezold / Βιβλίο Σκληρόδετο
common.buy 93.56 €

Είσοδος

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

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

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

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

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