IFM'99

Name: IFM'99
Brand: Springer London Ltd
SKU: 9781852331078
Price: 99.78 EUR
Availability: InStock

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Autor: Keijiro Araki, Andy Galloway, Kenji Taguchi

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer London Ltd

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

99.78 €

Formal methods have been established as the rigorous engineering methodology for the system developm...

Informácie o knihe

Autor

Keijiro Araki, Andy Galloway, Kenji Taguchi

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1999

Stránok

477

EAN

9781852331078

ISBN

1852331070

Enbook ID

06798555

Vydavateľ

Springer London Ltd

Hmotnosť

744

Rozmery

155 x 235 x 27

Kompletný popis

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

IFM'99

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

National Transporation Safety Board Information Technology Strategic Plan FY2010-FY2015

Second Tongue

The Vampire Affair

Surviving Bethel

Escape to Danger

Come, The Drayden: Wait for it....

Atomic Physics of Highly Ionized Atoms

Day two devotional: Devotional vol. 2

Adventures Of Superhero Girl, The (expanded Edition)

Information Systems Evaluation Management

Mathematics for the Environment

Gloria in excelsis Deo

Carer's Cosmetic Handbook

Applied Multiple Regression/Correlation Analysis for the Behavioral Sciences

Garden Visitor's Companion

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Prozess und Philosophie des Helfens

Sumar, restar, multiplicar y dividir números enteros

Tarifliche Differenzierungsklauseln nach dem Grundgesetz und dem Tarifvertragsgesetz.

L'Exorcisme ou la puissance de la Lumière sur les Ténèbres