phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Formal Methods for Industrial Critical Systems

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods for Industrial Critical Systems Stefan Kowalewski
Libristo kod: 01656673
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2010
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus... Cijeli opis
? points 156 b
62.18 €
Vanjske zalihe Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Piano Time 3 Pauline Hall / Note
common.buy 16.39 €
Asterix: Asterix Omnibus 9 René Goscinny / Tvrdi uvez
common.buy 22.93 €
The Empty Stocking Richard Curtis / Tvrdi uvez
common.buy 7.14 €
Happier at Home Gretchen Rubin / Meki uvez
common.buy 13.48 €
Purine and Pyrimidine Metabolism in Man VII R. Angus Harkness / Tvrdi uvez
common.buy 239.91 €
Potassium Channels Jonathan D. Lippiat / Meki uvez
common.buy 173.79 €
"Fakt ist, wir sind hier nicht bei Freunden ..." Katja Kochanowski / Meki uvez
common.buy 27.46 €
Meereszeichen Susanne Seemann / Tvrdi uvez
common.buy 13.68 €
Berliner Platz NEU Christiane Lemcke / Meki uvez
common.buy 17.10 €
Catmas Carols Laurie Loughlin / Tvrdi uvez
common.buy 8.95 €

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.

Informacije o knjizi

Puni naziv Formal Methods for Industrial Critical Systems
Autor Stefan Kowalewski, Marco Roveri
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 231
EAN 9783642158971
ISBN 3642158978
Libristo kod 01656673
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 424
Dimenzije 156 x 238 x 24

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun