FME 2003: Formal Methods

Name: FME 2003: Formal Methods
Brand: Springer, Berlin
SKU: 9783540408284
Price: 2567 CZK
Availability: InStock

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Autor: Keijiro Araki, Stefania Gnesi, Dion Mandrioli

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

2 567 Kč

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro...

Informace o knize

Autor

Keijiro Araki, Stefania Gnesi, Dion Mandrioli

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2003

Stránek

946

EAN

9783540408284

ISBN

3540408282

Enbook ID

01562991

Vydavatel

Springer, Berlin

Hmotnost

1200

Rozměry

155 x 235 x 48

Kompletní popis

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003.§The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Use of Microcomputers in Geology

Magi: The Labyrinth of Magic, Vol. 2

Cell Motility

Handbook of Reagents for Organic Synthesis Set I 4V ST

Educational Assessment in the 21st Century

Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2

The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs

Buddha a Drama in Five Acts and Four Interludes

My Own Thoughts

Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr

On Antisemitism

Zákaznicí kteří koupili tuto knihu koupili také

Sanssouci

The Armoured Dark

El Bravo V1: Novela (1854)

Der kleine Prinz - Le Petit Prince

Schriften zur Kritik und Literaturgeschichte

Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern

Zazi a dva vrazi

Die Zerstörung der Welt als Wille und Vorstellung

Die Brüder Karamasow

E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader