phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Methods for Industrial Critical Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Industrial Critical Systems Stefan Kowalewski
Libristo kód: 01656673
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2010
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus... Celý popis
? points 157 b
1 565 Kč včetně DPH
Skladem u dodavatele Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Piano Time 3 Pauline Hall / Noty
common.buy 371 Kč
Asterix: Asterix Omnibus 9 René Goscinny / Pevná
common.buy 507 Kč
The Empty Stocking Richard Curtis / Pevná
common.buy 158 Kč
Happier at Home Gretchen Rubin / Brožovaná
common.buy 340 Kč
Purine and Pyrimidine Metabolism in Man VII R. Angus Harkness / Pevná
common.buy 6 032 Kč
Potassium Channels Jonathan D. Lippiat / Brožovaná
common.buy 4 371 Kč
"Fakt ist, wir sind hier nicht bei Freunden ..." Katja Kochanowski / Brožovaná
common.buy 691 Kč
Meereszeichen Susanne Seemann / Pevná
common.buy 344 Kč
Berliner Platz NEU Christiane Lemcke / Brožovaná
common.buy 429 Kč
Catmas Carols Laurie Loughlin / Pevná
common.buy 226 Kč

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.

Informace o knize

Plný název Formal Methods for Industrial Critical Systems
Autor Stefan Kowalewski, Marco Roveri
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 231
EAN 9783642158971
ISBN 3642158978
Libristo kód 01656673
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 424
Rozměry 156 x 238 x 24

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet