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 Stefan Kowalewski
Codul Libristo: 01656673
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2010
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus... Descrierea completă
? points 163 b
325 lei
În depozitul extern în cantități mici Expediem în 9-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

curând
Asterix: Asterix Omnibus 9 René Goscinny / Copertă tare
common.buy 115 lei
Piano Time 3 Pauline Hall / Note muzicale
common.buy 78 lei
The Empty Stocking Richard Curtis / Copertă tare
common.buy 36 lei
Potassium Channels Jonathan D. Lippiat / Carte broșată
common.buy 909 lei
Purine and Pyrimidine Metabolism in Man VII R. Angus Harkness / Copertă tare
common.buy 1.255 lei
Meereszeichen Susanne Seemann / Copertă tare
common.buy 68 lei
"Fakt ist, wir sind hier nicht bei Freunden ..." Katja Kochanowski / Carte broșată
common.buy 138 lei
Happier at Home Gretchen Rubin / Carte broșată
common.buy 72 lei
Berliner Platz NEU Christiane Lemcke / Carte broșată
common.buy 85 lei
Catmas Carols Laurie Loughlin / Copertă tare
common.buy 50 lei

This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp,§Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM§International Conference on Automated Software Engineering,§The 14 papers presented were carefully reviewed and selected from 33§submissions.§The aim of the FMICS workshop series is to provide a forum for researchers§who are interested in the development and application of formal methods in§industry. It also strives to promote research and development for the§improvement of formal methods and tools for industrial applications.

Informații despre carte

Titlu complet Formal Methods for Industrial Critical Systems
Autor Stefan Kowalewski, Marco Roveri
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 231
EAN 9783642158971
ISBN 3642158978
Codul Libristo 01656673
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 424
Dimensiuni 156 x 238 x 24

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
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