IFM'99

Name: IFM'99
Brand: Springer London Ltd
SKU: 9781852331078
Price: 2286 CZK
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:

Vazba: Brožovaná

Vydavatel: Springer London Ltd

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

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

Informace o knize

Autor

Keijiro Araki, Andy Galloway, Kenji Taguchi

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1999

Stránek

477

EAN

9781852331078

ISBN

1852331070

Enbook ID

06798555

Vydavatel

Springer London Ltd

Hmotnost

744

Rozměry

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 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

IFM'99

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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