Jean-François Raskin | Akateeminen Kirjakauppa

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

PRINCIPLES OF SYSTEMS DESIGN - ESSAYS DEDICATED TO THOMAS A. HENZINGER ON THE OCCASION OF HIS 60TH BIRTHDAY

Jean-François Raskin; Krishnendu Chatterjee; Laurent Doyen; Rupak Majumdar
Springer International Publishing AG (2022)
Pehmeäkantinen kirja

91,40 €

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS - 5TH INTERNATIONAL CONFERENCE, FORMATS 2007, SALZBURG, AUSTRIA, OCTOBER 3-5, 2007

Jean-Francois Raskin; P.S. Thiagarajan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - 12TH INTERNATIONAL SYMPOSIUM, ATVA 2014, SYDNEY, AUSTRALIA, NOVEMBER 3-7, 2

Franck Cassez; Jean-Francois Raskin
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

51,40 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 22ND INTERNATIONAL CONFERENCE, TACAS 2016, HELD AS PART OF T

Marsha Chechik; Jean-François Raskin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2016)
Pehmeäkantinen kirja

51,40 €

Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar

91,40 €

Springer International Publishing AG
Sivumäärä: 666 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2022
Julkaisuvuosi: 2022, 29.12.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13660

This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus