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 Cargus 28.00 lei Easybox 20.00 lei FAN 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 Copertă tare
Carte Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Codul Libristo: 01426259
Editura Springer London Ltd, iunie 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 263 b
568.64 lei
În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Carte Carte
common.buy 259.94 lei
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Carte Copertă tare
common.buy 74.62 lei
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Carte Carte broșată
common.buy 237.18 lei
VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Carte Carte broșată
common.buy 158.39 lei
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Carte Carte broșată
common.buy 101.12 lei
L'Herpetologie Yannick Berthoud / Carte Carte broșată
common.buy 197.99 lei
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Carte Copertă tare
common.buy 415.33 lei
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Carte Carte broșată
common.buy 131.99 lei
Jordan la loi du plus fort NE Rosamond Smith / Carte Carte broșată
common.buy 132.20 lei
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Calendar / Agendă Agendă
common.buy 56.74 lei
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Carte Carte broșată
common.buy 246.74 lei
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Carte Copertă tare
common.buy 77.74 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 - Copertă tare
Data publicării 2013
Număr pagini 326
EAN 9781447152590
ISBN 144715259X
Codul Libristo 01426259
Editura Springer London Ltd
Greutatea 6387
Dimensiuni 155 x 235 x 24

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Medicine & Nursing > Nursing & ancillary services > Biomedical engineering
Computing & Information Technology > Information technology: general issues > Health & safety aspects of IT
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Medicine & Nursing > Medicine: general issues
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

Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Carte Carte broșată
common.buy 410.13 lei
Like Cats & Dogs Shane / Carte Carte broșată
common.buy 46.97 lei
BLUEY ECO-PUZZLE DF 60 / Joc / Jucărie Joc
common.buy 41.77 lei
Shower of Stars John J. Pullen / E-book Adobe ePub DRM
common.buy 232.92 lei
Swindon - The Complete Works PETER TIMMS / Carte Copertă tare
common.buy 147.79 lei
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa / Carte Carte broșată
common.buy 90.21 lei
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Carte Carte broșată
common.buy 56.95 lei
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Carte Carte broșată
common.buy 225.75 lei
Forest Tree Plantation Thomas Jonathan Burrill / Carte Copertă tare
common.buy 147.79 lei
Scenes for Teens, by Teens Diane Christiansen / Carte Carte broșată
common.buy 50.82 lei
South Asia in a Globalising World Bob Bradnock / Carte Carte broșată
common.buy 462.52 lei
How America Was Born Diana McCumiskey / Carte Carte broșată
common.buy 78.57 lei
Koufonisi, Crete Emory Christer / Carte Carte broșată
common.buy 572.07 lei
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Carte Carte broșată
common.buy 95.93 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?