IFM'99

Name: IFM'99
Brand: Springer London Ltd
SKU: 9781852331078
Price: 423.57 PLN
Availability: InStock

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

Autor: Keijiro Araki, Andy Galloway, Kenji Taguchi

Język:

Oprawa: Miękka

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

423.57 zł

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

Informacje o książce

Autor

Keijiro Araki, Andy Galloway, Kenji Taguchi

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1999

strony

477

EAN

9781852331078

ISBN

1852331070

Enbook ID

06798555

Wydawca

Springer London Ltd

Waga

744

Wymiary

155 x 235 x 27

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

IFM'99

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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