Cărți de Markus Roggenbach

Algebra and Coalgebra in Computer Science

Editat de José Luis Fiadeiro et al.

18 aug 2005

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

Communications in Computer and Information Science, nr. 1301

Editat de Antonio Cerone et al.

11 mar 2021

Preț: 370^.26 lei

6-8 săpt.

Recent Trends in Algebraic Development Techniques

Lecture Notes in Computer Science

Editat de Markus Roggenbach

11 apr 2021

Preț: 314^.86 lei 393^.57 lei

6-8 săpt.

-20%

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 14165

Editat de Anne E. Haxthausen et al.

17 aug 2023

Preț: 486^.34 lei 607^.92 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10644

Editat de Phillip James et al.

8 dec 2017

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain

SpringerBriefs in Computer Science

Autor Stefan Gruner et al.

14 apr 2020

Preț: 310^.23 lei 387^.79 lei

6-8 săpt.

-20%

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Texts in Theoretical Computer Science. An EATCS Series

Autor Markus Roggenbach et al.

24 iun 2023

Preț: 359^.44 lei 449^.31 lei

6-8 săpt. | 6-10 zile

-20%