phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Formal Methods for Industrial Critical Systems

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Industrial Critical Systems Frédéric Lang
Codul Libristo: 05147916
Editura Springer International Publishing AG, august 2014
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Ind... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Journey to the Centre of the Earth Jules Verne / Carte broșată
common.buy 48 lei
Flower of Paradise David J. Rothenberg / Copertă tare
common.buy 393 lei
City-Memo, Hamburg / Joc
common.buy 78 lei
Economics of Money, Banking and Financial Markets Mishkin Frederic S. / Carte broșată
common.buy 519 lei
Boolean Functions Yves Crama / Copertă tare
common.buy 1.150 lei
Wiley Concise Guides to Mental Health Nicholas R. Lessa / Carte broșată
common.buy 369 lei
Nigerian History, Politics And Affairs / Carte broșată
common.buy 232 lei
Children's Books and Their Illustrators Gleeson White / Carte broșată
common.buy 130 lei
Woman's Life Mgnus Shulamit / Copertă tare
common.buy 414 lei
Gdh 2000 - The Gerasimov-drell-hearn Sum Rule & The Nucleon Spin Structure In The Resonance Region / Copertă tare
common.buy 1.388 lei
Grove Book of Operas Laura Sadie / Carte broșată
common.buy 133 lei
Turf Problem Solver Alfred J. Turgeon / Copertă tare
common.buy 580 lei
Switch Carol Snow / Carte broșată
common.buy 44 lei
curând
Egg Sally Grindley / Carte broșată
common.buy 28 lei
Gruppenunterstutzende Systeme in Forschung Und Entwicklung Holger Wohlenberg / Carte broșată
common.buy 295 lei

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

Informații despre carte

Titlu complet Formal Methods for Industrial Critical Systems
Autor Frédéric Lang, Francesco Flammini
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 201
EAN 9783319107011
ISBN 3319107011
Codul Libristo 05147916
Editura Springer International Publishing AG
Greutatea 3343
Dimensiuni 155 x 235 x 12

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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

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