Pierre-Yves Schobbens | Akateeminen Kirjakauppa

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

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 18TH INTERNATIONAL WORKSHOP, WADT 2006, LA ROCHE EN ARDENNE, BELGIUM, JUNE 1

José Luiz Fiadeiro; Pierre-Yves Schobbens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

FORMAL MODELS OF AGENTS - ESPRIT PROJECT MODELAGE FINAL REPORT SELECTED PAPERS

John-Jules C. Meyer; Pierre-Yves Schobbens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja

49,60 €

Recent Trends in Algebraic Development Techniques - 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1

José Luiz Fiadeiro, Pierre-Yves Schobbens

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 174 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 24.04.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus