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

97,90 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES : 16TH INTERNATIONAL WORKSHOP, WADT 2002, FRAUENCHIEMSEE, GERMANY, SEPTEMBER 2

Martin Wirsing (ed.); Dirk Pattinson (ed.); Rolf Hennicker (ed.)
Springer (2003)
Pehmeäkantinen kirja

49,60 €

RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE : 9TH INTERNATIONAL WORKSHOP, RISSEF 2002, VENICE, ITALY,

Martin Wirsing (ed.); Alexander Knapp (ed.); Simonetta Balsamo (ed.)
Springer (2004)
Pehmeäkantinen kirja

49,60 €

ALGEBRAIC METHODS: THEORY, TOOLS AND APPLICATIONS

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

97,90 €

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 €

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 €

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 €

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 €

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 €

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 €

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

49,60 €

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

49,60 €

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

46,70 €

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

49,60 €

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 €

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 €

WEB ENGINEERING : 4TH INTERNATIONAL CONFERENCE, ICWE 2004, MUNICH, GERMANY, JULY 26-30, 2004, PROCEEDINGS

Nora Koch (ed.); Piero Fraternali (ed.); Martin Wirsing (ed.)
Springer (2004)
Pehmeäkantinen kirja

97,90 €

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

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

129,90 €

ADAPTING PROOFS-AS-PROGRAMS

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

64,20 €

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

46,40 €

Hae lisää...

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

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

97,90 €

Springer
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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. | Tilaa jouluksi viimeistään 13.11.2024

Myymäläsaatavuus