Peter Mosses (ed.) | Akateeminen Kirjakauppa

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

TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT : 6TH INTERNATIONAL JOINT CONFERENCE CAAP/FASE, AARHUS, DENMARK, MAY 22

Peter D. Mosses (ed.); Mogens Nielsen (ed.); Michael I. Schwartzbach (ed.)
Springer (1995)
Pehmeäkantinen kirja

97,90 €

CASL REFERENCE MANUAL : THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE

Peter D. Mosses (ed.)
Springer (2004)
Pehmeäkantinen kirja

97,90 €

THEORETICAL COMPUTER SCIENCE: EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS : INTERNATIONAL CONFERENCE IFIP TCS 2000 SENDAI

Jan van Leeuwen (ed.); Osamu Watanabe (ed.); Masami Hagiya (ed.); Peter D. Mosses (ed.); Takayasu Ito (ed.)
Springer (2000)
Pehmeäkantinen kirja

97,90 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES : 14TH INTERNATIONAL WORKSHOP, WADT '99, CHATEAU DE BONAS, SEPTEMBER 15-18, 19

Didier Bert (ed.); Christine Choppy (ed.); Peter Mosses (ed.)
Springer (2000)
Pehmeäkantinen kirja

49,60 €

TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22

Peter D. Mosses (ed.), Mogens Nielsen (ed.), Michael I. Schwartzbach (ed.)

97,90 €

Springer
Sivumäärä: 820 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 03.05.1995 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 915

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus