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.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: 09479723
Price: 107.29 EUR
Availability: InStock
Author: Neeraj Kumar Singh
ISBN: 9781447157908

Neeraj Kumar Singh

Sprache

Englisch

Buch Broschur

Libristo-Code: 09479723

Verlag Springer London Ltd, August 2013

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

Libristo-Code: 09479723

262 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch

Broschur

55.29 €

Calling The Devil Sticky Boys

Audio CD

11.89 €

Trace 7 Kei Koga

Buch

8.29 €

Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld

Adobe ePub DRM

7.39 €

Rok kobylek Terry Hayes

Hardcover

23.99 €

L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY

Broschur

35.89 €

Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer

Broschur

26.90 €

Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou

Broschur

15.39 €

Fiat Bravo e Brava. 1995-2002 Alessandro Sannia

Broschur

20.99 €

Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V

Broschur

31.79 €

Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin

Broschur

69.90 €

Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel

Broschur

18.95 €

Mapa de la documentación teatral en España. Fuentes y recursos para el estudio del teatro español I Muñoz Cáliz

Buch

19.89 €

UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA

Broschur

20.39 €

Servicios esenciales, servicios mínimos y derecho de huelga Baylos Grau

Broschur

32.29 €

Loose Cannons Spitzer

Audio CD

15.99 €

Critica de la crítica Filiberto Menna

Broschur

13.59 €

Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE

Broschur

89.29 €

Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto

Broschur

19.69 €

Flow Mihaly Csikszentmihalyi

Broschur

15.39 €

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 - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 326

EAN 9781447157908

ISBN 1447157907

Libristo-Code 09479723

Verlag Springer London Ltd

Gewicht 5212

Abmessungen 155 x 18 x 19

Kategorie

Medizin > Gesundheitsfachberufe > Biomedizinische Technik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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