Kniha momentálne nie je na sklade
Parametre
Viac o knihe
From the reviews: „The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications.“ (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)
Nákup knihy
Leveraging applications of formal methods, Tiziana Margaria
- Jazyk
- Rok vydania
- 2006
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Leveraging applications of formal methods
- Jazyk
- anglicky
- Autori
- Tiziana Margaria
- Vydavateľ
- Springer
- Rok vydania
- 2006
- ISBN10
- 3540489282
- ISBN13
- 9783540489283
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- From the reviews: „The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications.“ (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)