Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Using Event-B for Critical Device Software Systems

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

Neeraj Kumar Singh

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01426259

Verlag Springer London Ltd, Juni 2013

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

Libristo-Code: 01426259

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL

Buch

50.89 €

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

Hardcover

14.89 €

Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer

Broschur

47.95 €

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

Broschur

31.09 €

BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA

Broschur

19.89 €

L'Herpetologie Yannick Berthoud

Broschur

37.39 €

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

Hardcover

81.89 €

DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO

Broschur

25.89 €

Jordan la loi du plus fort NE Rosamond Smith

Broschur

25.99 €

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

Terminbuch

11.19 €

Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger

Broschur

49.90 €

ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella

Hardcover

15.49 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Using Event-B for Critical Device Software Systems

Autor Neeraj Kumar Singh

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2013

Anzahl der Seiten 326

EAN 9781447152590

ISBN 144715259X

Libristo-Code 01426259

Verlag Springer London Ltd

Gewicht 6387

Abmessungen 155 x 235 x 24

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Medizin > Gesundheitsfachberufe > Biomedizinische Technik

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen > Gesundheitliche Fragen der IT, IT-Arbeitsschutz

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > 3D-Grafik und Modellierung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation

Medizin > Medizin, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert