Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με 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

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561845
Price: 58.4 EUR
Availability: InStock
Author: Antti Valmari
ISBN: 9783540331025

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01561845

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάρτιος 2006

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Πλήρης περιγραφή

Κωδικός Libristo: 01561845

141 b

58.40 €

Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες

Παράδοση στην Ελλάδα

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

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

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain

Χαρτόδετο

18.28 €

Mit Vollgas Weiter Die Jungen Klostertaler

Audio CD

17.67 €

Rupáner-konyha Rupáner-Gallé Margó

Σκληρόδετο

14.54 €

Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová

binding.

8.98 €

Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft

Χαρτόδετο

25.05 €

Fundamentos teóricos y jurídicos de la ordenación del territorio

Χαρτόδετο

24.14 €

Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries

Χαρτόδετο

17.27 €

XXX xxx

Χαρτόδετο

7.77 €

Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek

Λίστα

14.84 €

Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold

Χαρτόδετο

38.09 €

Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh

Χαρτόδετο

16.16 €

Planner Story Pavel Kosatík

Σκληρόδετο

1.00 €

Celulas-Tronco Capuano Vanessa Capuano

Χαρτόδετο

41.83 €

Corrales: Guia de Servicios Diego Molina Ruiz

Χαρτόδετο

6.56 €

La Mort Comme Effet Secondaire Shua

Χαρτόδετο

24.04 €

Grundlagen des Usability-Engineering Marcel Thum

Χαρτόδετο

16.16 €

SPUREN - Die Opfer des NSU

DVD

18.89 €

STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield

Χαρτόδετο

20.30 €

Decirte adiós con un te quiero SILVIA CARPALLO

Χαρτόδετο

20.20 €

LED ZEPPELIN MICK WALL

Χαρτόδετο

30.61 €

Abraham l'Hebreu - Ministre de Dieu David Daniel Agou

Χαρτόδετο

25.05 €

Schäden an polymeren Beschichtungen. Robert Engelfried

Σκληρόδετο

43.44 €

Vengeful - Die Rache ist mein V. E. Schwab

Χαρτόδετο

15.65 €

Grossbuchstaben Geschichten 2 Sara Quast

Χαρτόδετο

5.65 €

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Model Checking Software

Συγγραφέας Antti Valmari

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2006

Αριθμός σελίδων 308

EAN 9783540331025

ISBN 3540331026

Κωδικός Libristo 01561845

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 1010

Διαστάσεις 155 x 19 x 19

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Thirteenth Bullet Cotton Smith

Χαρτόδετο

7.37 €

Riveted Meljean Brook

Χαρτόδετο

21.51 €

Cadogan Guide Cairo, Luxor and Aswan Michael Haag

Χαρτόδετο

20.00 €

Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan

Χαρτόδετο

14.44 €

Nuclear Medicine Dibya Prakash

Χαρτόδετο

50.52 €

International Relations Theory Michael Haas

Σκληρόδετο

140.35 €

Spanish Notebook Christopher Buckley

Χαρτόδετο

16.56 €

Wages of Sin Kaite Welsh

Χαρτόδετο

13.94 €

Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt

Χαρτόδετο

10.80 €

Handbook of Macroeconomics J B Taylor

Σκληρόδετο

160.36 €

Picasso Anna Coliva

Σκληρόδετο

48.09 €

Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing

Χαρτόδετο

7.06 €

Dancing with Sophia Brian Schroeder

Χαρτόδετο

52.13 €

Beginner's Guide to Chinese Brush Painting Susan Self

Σκληρόδετο

11.31 €

Once Upon a Winter Tennant Tilly Tennant

Χαρτόδετο

12.32 €

Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education

Χαρτόδετο

7.97 €