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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

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: 113.19 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

277 b

113.19 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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 €

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

Broschur

39.49 €

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

Hardcover

14.89 €

ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL

Buch

50.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 €

ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella

Hardcover

15.49 €

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

Hardcover

81.89 €

Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger

Broschur

66.79 €

Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer

Broschur

47.95 €

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