IFM'99

Name: IFM'99
Brand: Springer London Ltd
SKU: 9781852331078
Price: 553.38 RON
Availability: InStock

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

Autor: Keijiro Araki, Andy Galloway, Kenji Taguchi

Limbă:

Legare: Carte broșată

Editura: Springer London Ltd

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

553.38 lei

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

Informații despre carte

Autor

Keijiro Araki, Andy Galloway, Kenji Taguchi

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1999

Pagini

477

EAN

9781852331078

ISBN

1852331070

Enbook ID

06798555

Editura

Springer London Ltd

Greutate

744

Dimensiuni

155 x 235 x 27

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

IFM'99

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

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