KIRJAUDU

ostoskori

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 (ed.); Maurice Nivat (ed.)
Springer (1996)
Pehmeäkantinen kirja

101,40 €

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

51,40 €

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

51,40 €

ALGEBRAIC METHODS: THEORY, TOOLS AND APPLICATIONS

Martin Wirsing (ed.); Jan A. Bergstra (ed.)
Springer (1989)
Pehmeäkantinen kirja

101,40 €

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

51,40 €

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

51,40 €

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

101,40 €

SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS : THE ASCENS APPROACH

Martin Wirsing (ed.); Matthias Hölzl (ed.); Nora Koch (ed.); Philip Mayer (ed.)
Springer (2015)
Pehmeäkantinen kirja

51,40 €

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING : 12TH INTERNATIONAL CONFERENCE, FASE 2009, HELD AS PART OF THE JOINT EUROPEAN CO

Marsha Chechik (ed.); Martin Wirsing (ed.)
Springer (2009)
Pehmeäkantinen kirja

51,40 €

ADAPTING PROOFS-AS-PROGRAMS - THE CURRY--HOWARD PROTOCOL

Iman Poernomo; John N. Crossley; Martin Wirsing
Springer-Verlag New York Inc. (2005)
Kovakantinen kirja

134,60 €

STACS 88 : 5TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, BORDEAUX, FRANCE, FEBRUARY 11-13,1988; PROCEEDINGS

Robert Cori (ed.); Martin Wirsing (ed.)
Springer (1988)
Pehmeäkantinen kirja

51,40 €

PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING : 4TH INTERNATIONAL SYMPOSIUM, PLILP ’92, LEUVEN, BELGIUM, AUGUST 26–2

Maurice Bruynooghe (ed.); Martin Wirsing (ed.)
Springer (1992)
Pehmeäkantinen kirja

51,40 €

STACS 87 : 4TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, PASSAU, FRG, FEBRUARY 19-21, 1987

Franz J. Brandenburg (ed.); Guy Vidal-Naquet (ed.); Martin Wirsing (ed.)
Springer (1987)
Pehmeäkantinen kirja

48,40 €

PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING : 3RD INTERNATIONAL SYMPOSIUM, PLILP '91, PASSAU, GERMANY, AUGUST 26-2

Jan Maluszynski (ed.); Martin Wirsing (ed.)
Springer (1991)
Pehmeäkantinen kirja

51,40 €

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005 : SECOND INTERNATIONAL COLLOQUIUM, HANOI, VIETNAM, OCTOBER 17-21, 2005, PROCEEDING

Dang Van Hung (ed.); Martin Wirsing (ed.)
Springer (2005)
Pehmeäkantinen kirja

101,40 €

METHODS OF PROGRAMMING : SELECTED PAPERS ON THE CIP-PROJECT

Manfred Broy (ed.); Martin Wirsing (ed.)
Springer (1991)
Pehmeäkantinen kirja

51,40 €

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

101,40 €

ADAPTING PROOFS-AS-PROGRAMS : THE CURRY--HOWARD PROTOCOL

Iman Poernomo; John N. Crossley; Martin Wirsing
Springer (2010)
Pehmeäkantinen kirja

134,60 €

ADAPTING PROOFS-AS-PROGRAMS

Iman Hafiz Poernomo; John Newsome Crossley; Martin Wirsing
SPRINGER VERLAG GMBH (2008)
Pehmeäkantinen kirja

68,10 €

JAVA KOMPAKT - EINE EINFÜ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

48,10 €

Hae lisää...

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Martin Wirsing (ed.), Maurice Nivat (ed.)

101,40 €

Springer
Sivumäärä: 647 sivua
Asu: Pehmeäkantinen kirja
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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus