SULJE VALIKKO

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
101,40 €
Langmaack, Hans; Paul, Manfred
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1972
Pehmeäkantinen kirja
1. Fachtagung über Programmiersprachen - München, 9.–11. März 1971
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
52,80 €
Bjorner, Dines; Hoare, C. A. R.; Langmaack, Hans
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1990
Pehmeäkantinen kirja
VDM '90. VDM and Z - Formal Methods in Software Development - Third International Symposium of VDM Europe, Kiel, FRG, April 17-2
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja
Compositionality: The Significant Difference - International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Rev
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
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
101,40 €
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Meistä
Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta
Seuraa Akateemista
Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn