Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Häftad, 1996
1 399 kr
Del 75 i serien Lecture Notes in Economics and Mathematical Systems
1. Fachtagung über Programmiersprachen
München, 9.–11. März 1971
Häftad, Tyska, 1972
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1972-10-30
- Mått178 x 254 x 17 mm
- Vikt561 g
- FormatHäftad
- SpråkTyska
- SerieLecture Notes in Economics and Mathematical Systems
- Antal sidor286
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540060512
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 294
Formal Techniques in Real-Time and Fault-Tolerant Systems
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
Häftad, 1994
1 439 kr
Compositionality: The Significant Difference
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
Häftad, 1998
1 439 kr