SULJE VALIKKO

avaa valikko

Martin Wirsing | Akateeminen Kirjakauppa

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



Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Martin Wirsing; Maurice Nivat
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques - 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 2
Martin Wirsing; Dirk Pattinson; Rolf Hennicker
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Radical Innovations of Software and Systems Engineering in the Future - 9th International Workshop, RISSEF 2002, Venice, Italy,
Martin Wirsing; Alexander Knapp; Simonetta Balsamo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebraic Methods: Theory, Tools and Applications
Martin Wirsing; Jan A. Bergstra
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1989)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Martin Wirsing; Jean-Pierre Banatre; Matthias Hölzl; Axel Rauschmayer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Trustworthy Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Pa
Martin Wirsing; Martin Hofmann; Axel Rauschmayer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service
Martin Wirsing; Matthias Hölzl
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Engineering for Collective Autonomic Systems - The ASCENS Approach
Martin Wirsing; Matthias Hölzl; Nora Koch; Philip Mayer
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Co
Marsha Chechik; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Adapting Proofs-as-Programs - The Curry--Howard Protocol
Iman Poernomo; John N. Crossley; Martin Wirsing
Springer-Verlag New York Inc. (2005)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
STACS 88 - 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Robert Cori; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1988)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programming Language Implementation and Logic Programming - 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–2
Maurice Bruynooghe; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1992)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
STACS 87 - 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987
Franz J. Brandenburg; Guy Vidal-Naquet; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1987)
Pehmeäkantinen kirja
46,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programming Language Implementation and Logic Programming - 3rd International Symposium, PLILP '91, Passau, Germany, August 26-2
Jan Maluszynski; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceeding
Dang Van Hung; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Methods of Programming - Selected Papers on the CIP-Project
Manfred Broy; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
Nora Koch; Piero Fraternali; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Iman Poernomo; John N. Crossley; Martin Wirsing
Springer (2010)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Adapting Proofs-As-Programs
Iman Hafiz Poernomo; John Newsome Crossley; Martin Wirsing
SPRINGER VERLAG GMBH (2008)
Pehmeäkantinen kirja
66,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Java kompakt - Eine Einführung in die Software-Entwicklung mit Java
Matthias Hölzl; Allaithy Raed; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
46,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
97,90 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 647 sivua
Asu: Pehmeäkantinen kirja
Painos: 1996
Julkaisuvuosi: 1996, 19.06.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1101
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783540614630
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste