Formal Methods - Pacific 97: Proceedings of the FMP'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement ... Mathematics and Theoretical Computer Science) - Softcover

 
9789813083318: Formal Methods - Pacific 97: Proceedings of the FMP'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement ... Mathematics and Theoretical Computer Science)
Softcover
ISBN 10: 981308331X ISBN 13: 9789813083318
Verlag: Springer, 1997

Inhaltsangabe

Formal Methods Pacific '97 is an umbrella conference, incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium. The conference provided a forum for discussion of current research on mathematicallybased techniques for design and development of computer systems, especially formal and/or rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems. The refereed papers included in these proceedings present significant contributions to current research in formal software development within Australasia, along with several contributions from other parts of the world. The conference also included informal presentations describing work in progress; abstracts only for these are included.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
981308331X
ISBN 13 
9789813083318
Einband
Taschenbuch
Anzahl der Seiten
331
Herausgeber
Groves Lindsay, Reeves Steve
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland