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

Using Event-B for Critical Device Software Systems

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Using Event-B for Critical Device Software Systems Keith Glover
Κωδικός Libristo: 32284073
ΕΕκδοτικός οίκος Createspace Independent Publishing Platform, Αύγουστος 2017
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and... Πλήρης περιγραφή
? points 115 b
47.33 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 14-21 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg / Βιβλίο Σκληρόδετο
common.buy 22.35 €
Al centro della terra. A piedi sul cammino minerario di Santa Barbara in Sardegna Fabrizio Ardito / Βιβλίο Χαρτόδετο
common.buy 19.82 €
Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд. В. Г. Кахикало / Βιβλίο Σκληρόδετο
common.buy 58.96 €
Προετοιμαζουμε
Ako si vycvičit draka – Začíname čítať - Noví priatelia / Βιβλίο Σκληρόδετο
common.buy 7.27 €
LOS SOTANOS DE LA TIERRUCA LAMOILE MARTINEZ / Βιβλίο Χαρτόδετο
common.buy 32.16 €
Pierres Roulées - Rhodonite du Pérou - Sachet 500 grs / Βιβλίο binding.
common.buy 41.16 €
Φθηνά
LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE - Nicole Blondeau / Audio Audio CD
common.buy 25.08 €
Die Naturliche Theologie (1882) Alfred Barry / Βιβλίο Σκληρόδετο
common.buy 48.04 €
Belgrad - 1.000 Teile (Puzzle) / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 31.55 €
Vita quotidiana dei Bastardi di Pizzofalcone Maurizio De Giovanni / Βιβλίο Χαρτόδετο
common.buy 20.52 €
Finanzas para emprendedores ANTONIO MANZANERA ESCRIBANO / Βιβλίο Χαρτόδετο
common.buy 29.83 €
Robby aus der Räuberhöhle, 1 Audio-CD Barbara Landbeck / Audio Audio CD
common.buy 10.92 €

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health do

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

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

Πλήρες όνομα Using Event-B for Critical Device Software Systems
Συγγραφέας Keith Glover
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2017
Αριθμός σελίδων 334
EAN 9781981128860
ISBN 1981128867
Κωδικός Libristo 32284073
ΕΕκδοτικός οίκος Createspace Independent Publishing Platform
Βάρος 775
Διαστάσεις 216 x 280 x 18

Κατηγορία

Computing & Information Technology > Computer science > Computer modelling & simulation
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Czech Renaissance folk songs for DADGAD Guitar Ondrej Sarek / Βιβλίο Χαρτόδετο
common.buy 12.84 €
Flagship Mike Carlton / Βιβλίο Χαρτόδετο
common.buy 22.35 €
Albertus Magnus and the World of Nature Kenneth F. Kitchell Jr / Βιβλίο Σκληρόδετο
common.buy 21.44 €
Handbook of Research on Herbal Liver Protection T. Pullaiah / Βιβλίο Σκληρόδετο
common.buy 268.97 €
Be With Me Amy Jindra / Βιβλίο Χαρτόδετο
common.buy 15.57 €
Subject of Human Rights Danielle Celermajer / Βιβλίο Σκληρόδετο
common.buy 148.49 €
Governing Partners Russell L Hanson / Βιβλίο Σκληρόδετο
common.buy 218.39 €
Windows on Literacy Language, Literacy & Vocabulary Fluent Plus (Science): Life Cycles of Animals National Geographic Learning / Βιβλίο Χαρτόδετο
common.buy 23.26 €
Encephalitis Lethargica Paul Bernard Foley / Βιβλίο Χαρτόδετο
common.buy 240.44 €
99 Tips to Get Better at Spearfishing Levi Brown / Βιβλίο Χαρτόδετο
common.buy 25.99 €
Red Wyvern Katharine Kerr / Βιβλίο Χαρτόδετο
common.buy 17.19 €
A Critical Examination of the Question in Regard to the Time of Our Saviour's Crucifixion Jeremiah Knight Aldrich / Βιβλίο Χαρτόδετο
common.buy 20.52 €
Immigration in Modern Times - the What, the Where and the How Patrick Chu / Βιβλίο Χαρτόδετο
common.buy 11.93 €
Fugitives Donald Campbell / Βιβλίο Χαρτόδετο
common.buy 10.81 €
Handbook of Research on Artificial Intelligence, Innovation and Entrepreneurship Elias G Carayannis / Βιβλίο Σκληρόδετο
common.buy 305.99 €
Pearson REVISE Edexcel GCSE Maths Higher Revision Workbook - 2023 and 2024 exams Navtej Marwaha / Βιβλίο Χαρτόδετο
common.buy 10.71 €
Automating Building Energy Management for Accelera ted Building Decarbonization James (University of California Santa Cruz Extension) Kempf / Βιβλίο Σκληρόδετο
common.buy 125.43 €
Pretentiousness: Why It Matters Dan Fox / Βιβλίο Χαρτόδετο
common.buy 15.16 €
Nebeski Putnici Bepina Pincic / Βιβλίο Χαρτόδετο
common.buy 14.35 €
Beijing Bastard Val Wang / Βιβλίο Χαρτόδετο
common.buy 14.05 €
Beyond the Science/Religion Debate Guido O Perez MD / Βιβλίο Χαρτόδετο
common.buy 13.65 €
Hilary Putnam James Conant / Βιβλίο Χαρτόδετο
common.buy 86.07 €
Teaching North American Environmental Literature Laird Christensen / Βιβλίο Χαρτόδετο
common.buy 47.33 €
Architectural Drawing Clothier Franklin Edminster / Βιβλίο Σκληρόδετο
common.buy 34.08 €

Είσοδος

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

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

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

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

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