Till Mossakowski | Akateeminen Kirjakauppa

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

ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE - SECOND INTERNATIONAL CONFERENCE, CALCO 2007, BERGEN, NORWAY, AUGUST 20-24, 2007, PRO

Till Mossakowski; Ugo Montanari; Magne Haveraaen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 20TH INTERNATIONAL WORKSHOP, WADT 2010, ETELSEN, GERMANY, JULY 1-4, 2010, RE

Till Mossakowski; Hans-Jörg Kreowski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

51,40 €

Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Pro

Till Mossakowski, Ugo Montanari, Magne Haveraaen

51,40 €

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

A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus