Haullasi löytyi yhteensä 23 tuotettaHaluatko tarkentaa hakukriteerejä? Suosituimmat ensin Aakkosjärjestys Vuosijärjestys Viimeksi lisätyt Viimeksi julkaistut
Martin Wirsing; Maurice Nivat Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996) Pehmeäkantinen kirja
97,90 €
Martin Wirsing; Dirk Pattinson; Rolf Hennicker Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003) Pehmeäkantinen kirja
49,60 €
Martin Wirsing; Alexander Knapp; Simonetta Balsamo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004) Pehmeäkantinen kirja
49,60 €
Martin Wirsing; Jan A. Bergstra Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1989) Pehmeäkantinen kirja
97,90 €
Martin Wirsing; Jean-Pierre Banatre; Matthias Hölzl; Axel Rauschmayer Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008) Pehmeäkantinen kirja
49,60 €
Martin Wirsing; Martin Hofmann; Axel Rauschmayer Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010) Pehmeäkantinen kirja
49,60 €
Martin Wirsing; Matthias Hölzl Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011) Pehmeäkantinen kirja
97,90 €
Martin Wirsing; Matthias Hölzl; Nora Koch; Philip Mayer Springer International Publishing AG (2015) Pehmeäkantinen kirja
49,60 €
Marsha Chechik; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009) Pehmeäkantinen kirja
49,60 €
Iman Poernomo; John N. Crossley; Martin Wirsing Springer-Verlag New York Inc. (2005) Kovakantinen kirja
129,90 €
Robert Cori; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1988) Pehmeäkantinen kirja
49,60 €
Maurice Bruynooghe; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1992) Pehmeäkantinen kirja
49,60 €
Franz J. Brandenburg; Guy Vidal-Naquet; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1987) Pehmeäkantinen kirja
46,70 €
Jan Maluszynski; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991) Pehmeäkantinen kirja
49,60 €
Dang Van Hung; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005) Pehmeäkantinen kirja
97,90 €
Manfred Broy; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991) Pehmeäkantinen kirja
49,60 €
Nora Koch; Piero Fraternali; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004) Pehmeäkantinen kirja
97,90 €
Iman Poernomo; John N. Crossley; Martin Wirsing Springer (2010) Pehmeäkantinen kirja
129,90 €
Iman Hafiz Poernomo; John Newsome Crossley; Martin Wirsing SPRINGER VERLAG GMBH (2008) Pehmeäkantinen kirja
66,10 €
Matthias Hölzl; Allaithy Raed; Martin Wirsing Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013) Pehmeäkantinen kirja
46,40 €
Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa |
Tilaa jouluksi viimeistään 27.11.2024