Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Using Event-B for Critical Device Software Systems

Limba englezăengleză
Carte Carte broșată
Carte Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Codul Libristo: 09479723
Editura Springer London Ltd, august 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 263 b
568.27 lei
În depozitul extern Expediem în 8-11 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Trace 7 Kei Koga / Carte Carte
common.buy 42.78 lei
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Carte Carte broșată
common.buy 204.62 lei
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Carte Carte broșată
common.buy 118.72 lei
Rok kobylek Terry Hayes / Carte Copertă tare
common.buy 126.92 lei
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-book Adobe ePub DRM
common.buy 46.11 lei
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Carte Carte broșată
common.buy 94.72 lei
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Carte Carte broșată
common.buy 113.31 lei
Loose Cannons Spitzer / Audio Audio CD
common.buy 84.54 lei
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Carte Carte broșată
common.buy 133.88 lei
Calling The Devil Sticky Boys / Audio Audio CD
common.buy 64.18 lei
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Carte Carte broșată
common.buy 176.26 lei
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto / Carte Carte broșată
common.buy 110.09 lei
Critica de la crítica Filiberto Menna / Carte Carte broșată
common.buy 76.34 lei
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Carte Carte broșată
common.buy 85.17 lei
Top
Flow Mihaly Csikszentmihalyi / Carte Carte broșată
common.buy 84.75 lei
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Carte Carte broșată
common.buy 472.81 lei
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Carte Carte broșată
common.buy 345.26 lei
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Carte Carte broșată
common.buy 292.70 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 326
EAN 9781447157908
ISBN 1447157907
Codul Libristo 09479723
Editura Springer London Ltd
Greutatea 5212
Dimensiuni 155 x 18 x 19

Categorii

Medicine & Nursing > Nursing & ancillary services > Biomedical engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Getting Started with Hazelcast - Mat Johns / Carte Carte broșată
common.buy 220.61 lei
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Carte Carte broșată
common.buy 94.93 lei
China and the Future of Globalization Grzegorz W. Kolodko / Carte Carte broșată
common.buy 217.19 lei
Advanced Principles of Molecular Virology Orlando Johnston / Carte Copertă tare
common.buy 784.12 lei
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Carte Carte broșată
common.buy 101.06 lei
Leaves John Simmons / E-book Adobe ePub DRM
common.buy 71.97 lei
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Carte Carte broșată
common.buy 92.33 lei
Lost Dog Bill Cameron / Carte Carte broșată
common.buy 75.51 lei
Where's Dachshund Dax? Delano van der Geest / Carte Copertă tare
common.buy 100.54 lei
Mandy's Doodles Coloring Book Mandy Rita Tardif / Carte Carte broșată
common.buy 59.51 lei
From Cold War to Cyber War Hans-Joachim Heintze / Carte Copertă tare
common.buy 568.27 lei
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Carte Carte broșată
common.buy 568.27 lei
Debt Inheritance Pepper Winters / Carte Carte broșată
common.buy 56.91 lei
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Carte Carte broșată
common.buy 114.87 lei
Peppa Pig: Happy Easter Peppa Pig / Carte Carte broșată
common.buy 27.93 lei
Comets and the Origin of Life Cyril Ponnamperuma / Carte Carte broșată
common.buy 851.64 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?