Uli Fahrenberg | Akateeminen Kirjakauppa

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

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS - 9TH INTERNATIONAL CONFERENCE, FORMATS 2011, AALBORG, DENMARK, SEPTEMBER 21-23, 2

Uli Fahrenberg; Stavros Tripakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

51,40 €

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE : 18TH INTERNATIONAL CONFERENCE, RAMICS 2020, PALAISEAU, FRANCE, OCTOBER 26

Uli Fahrenberg (ed.); Peter Jipsen (ed.); Michael Winter (ed.)
Springer (2020)
Pehmeäkantinen kirja

51,40 €

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE : 19TH INTERNATIONAL CONFERENCE, RAMICS 2021, MARSEILLE, FRANCE, NOVEMBER 2

Uli Fahrenberg (ed.); Mai Gehrke (ed.); Luigi Santocanale (ed.); Michael Winter (ed.)
Springer (2021)
Pehmeäkantinen kirja

75,40 €

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE - 21ST INTERNATIONAL CONFERENCE, RAMICS 2024, PRAGUE, CZECH REPUBLIC, AUGUS

Uli Fahrenberg; Wesley Fussner; Roland Glück
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

59,40 €

Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2

Uli Fahrenberg, Stavros Tripakis

51,40 €

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

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus