Cărți de Markus Roggenbach

Applicable Formal Methods for Safe Industrial Products

Editat de Anne E. Haxthausen et al.

17 aug 2023

Preț: 482^.86 lei 603^.57 lei

6-8 săpt.

-20%

Algebra and Coalgebra in Computer Science

Editat de José Luis Fiadeiro et al.

18 aug 2005

Preț: 330^.75 lei 413^.43 lei

6-8 săpt.

-20%

Formal Methods for Software Engineering

Autor Markus Roggenbach et al.

24 iun 2023

Preț: 362^.98 lei 453^.72 lei

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

-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 – 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, nr. 12669

Editat de Markus Roggenbach

11 apr 2021

Preț: 315^.82 lei 394^.77 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques

Lecture Notes in Computer Science, nr. 10644

Editat de Phillip James et al.

8 dec 2017

Preț: 318^.89 lei 398^.61 lei

6-8 săpt.

-20%