Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv IFM'99 Keijiro Araki

IFM'99

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

Szerző: Keijiro Araki, Andy Galloway, Kenji Taguchi
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer London Ltd
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
38 435 Ft
Formal methods have been established as the rigorous engineering methodology for the system developm...

Információk a könyvről

Szerző
Keijiro Araki, Andy Galloway, Kenji Taguchi
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1999
oldal
477
EAN
9781852331078
ISBN
1852331070
Enbook ID
06798555
Kiadó
Springer London Ltd
Súly
744
Méretek
155 x 235 x 27

Teljes leírás

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.

Érdekelheti

National Transporation Safety Board Information Technology Strategic Plan FY2010-FY2015

National Transportation Safety Board
6 087 Ft

Second Tongue

Keith Payne
5 407 Ft

The Vampire Affair

Livia J. Washburn
4 838 Ft

Surviving Bethel

Allen Knoll
4 597 Ft

Escape to Danger

Roy Nichols
3 178 Ft

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

Ladee C
4 015 Ft

Atomic Physics of Highly Ionized Atoms

Richard Marrus
19 274 Ft

Day two devotional: Devotional vol. 2

Mrs Tina Louise Mashushire
3 831 Ft

Adventures Of Superhero Girl, The (expanded Edition)

Faith Erin Hicks
5 904 Ft

Information Systems Evaluation Management

Wim Van Grembergen
24 412 Ft

Mathematics for the Environment

Walter
61 617 Ft

Gloria in excelsis Deo

MACK WILBERG
1 889 Ft

Carer's Cosmetic Handbook

Sharon Tay
10 460 Ft

Applied Multiple Regression/Correlation Analysis for the Behavioral Sciences

Jacob Cohen
65 435 Ft

Garden Visitor's Companion

Loisa Jones
12 434 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Prozess und Philosophie des Helfens

Edgar H Schein
12 775 Ft

Sumar, restar, multiplicar y dividir números enteros

87.VV.
680 Ft

Tarifliche Differenzierungsklauseln nach dem Grundgesetz und dem Tarifvertragsgesetz.

Georg Leventis
14 122 Ft

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

Schaffner
7 694 Ft