Jones Woodcock | Akateeminen Kirjakauppa

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

FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS - ESSAYS IN HONOUR OF DINES BJORNER AND ZHOU CHAOCHEN ON THE OCCASION OF THEIR 70TH

Cliff B. Jones; Zhiming Liu; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007 - 4TH INTERNATIONAL COLLOQUIUM, MACAU, CHINA, SEPTEMBER 26-28, 2007, PROCEEDINGS

Cliff B. Jones; Zhiming Liu; Jones Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

GUERRILLA DEMOCRACY - MOBILE POWER AND REVOLUTION IN THE 21ST CENTURY

Peter Bloom; Owain Smolović Jones; Jamie Woodcock
Bristol University Press (2021)
Kovakantinen kirja

129,50 €

GUERRILLA DEMOCRACY - MOBILE POWER AND REVOLUTION IN THE 21ST CENTURY

Peter Bloom; Owain Smolović Jones; Jamie Woodcock
Bristol University Press (2021)
Pehmeäkantinen kirja

50,10 €

Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th

Cliff B. Jones, Zhiming Liu, Jim Woodcock

49,60 €

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

This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus