Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science - John Fitzgerald - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540635338 - 3 september 1997
Indien omslag en titel niet overeenkomen, is de titel correct

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science

Prijs
€ 100,49

Besteld in een afgelegen magazijn

Verwachte levering 6 - 12 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

Formal methods and mathematically-based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the 35 papers in this volume describe industrial applications, extensions to existing techniques, or case studies.


694 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 3 september 1997
ISBN13 9783540635338
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 694
Afmetingen 156 × 234 × 35 mm   ·   975 g
Taal en grammatica Duits  
Uitgever Fitzgerald, J. (University of Newcastle-upon-tyne)
Uitgever Jones, C.b.
Uitgever Lucas, P.

Meer door John Fitzgerald

Alles tonen