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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Using Event-B for Critical Device Software Systems

Name: Using Event-B for Critical Device Software Systems
Brand: Springer London Ltd
SKU: 01426259
Price: 102.97 EUR
Availability: InStock
Author: Neeraj Kumar Singh
ISBN: 9781447152590

Neeraj Kumar Singh

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 01426259

ΕΕκδοτικός οίκος Springer London Ltd, Ιούνιος 2013

This book presents an innovative development approach for critical systems and prototype implementat...

Κωδικός Libristo: 01426259

249 b

102.97 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 10-13 ημέρες

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

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

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

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA

Χαρτόδετο

30.24 €

BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA

Χαρτόδετο

19.21 €

L'Herpetologie Yannick Berthoud

Χαρτόδετο

37.82 €

Fisiopatología aplicada a la dietética ELENA NAVARRO SANCHEZ

Χαρτόδετο

38.23 €

Geostorky aneb Tak bude trochu tepleji... Petr Brož

Σκληρόδετο

14.25 €

ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL

Βιβλίο

49.56 €

DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO

Χαρτόδετο

25.08 €

Jordan la loi du plus fort NE Rosamond Smith

Χαρτόδετο

25.28 €

Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe

Ημερολόγιο

10.81 €

ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella

Σκληρόδετο

14.86 €

Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino

Σκληρόδετο

79.20 €

Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger

Χαρτόδετο

44.50 €

Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer

Χαρτόδετο

42.78 €

This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

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

EWA KASP για

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

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

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

Πλήρες όνομα Using Event-B for Critical Device Software Systems

Συγγραφέας Neeraj Kumar Singh

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Σκληρόδετο

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

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

EAN 9781447152590

ISBN 144715259X

Κωδικός Libristo 01426259

ΕΕκδοτικός οίκος Springer London Ltd

Βάρος 6387

Διαστάσεις 155 x 235 x 24

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Medicine & Nursing > Nursing & ancillary services > Biomedical engineering

Computing & Information Technology > Information technology: general issues > Health & safety aspects of IT

Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer modelling & simulation

Medicine & Nursing > Medicine: general issues

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη