|
|

avaa valikko

Hans Langmaack | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1994
Pehmeäkantinen kirja
Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Gro
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Langmaack, Hans; Paul, Manfred
Springer
1972
Pehmeäkantinen kirja
1. Fachtagung über Programmiersprachen : München, 9.–11. März 1971
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
52,50 €
Bjørner, Dines; Hoare, C.A.R.; Langmaack, Hans
Springer
1990
Pehmeäkantinen kirja
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer
1998
Pehmeäkantinen kirja
Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1996
Pehmeäkantinen kirja
Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €