|
|

avaa valikko

Hans Langmaack | Akateeminen Kirjakauppa

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



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 €
Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
Springer
1994
Pehmeäkantinen kirja
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the
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 €
Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans
Springer
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 €