Formal Methods for Software Engineering: Languages, Methods, Application Domains
Autor Markus Roggenbach et al.
24 iun 2023
Paperback
Preț: 359.44 lei 449.31 lei
6-8 săpt. | 6-10 zile
-20%
Texts in Theoretical Computer Science. An EATCS Series
Simulation Algorithms for Computational Systems Biology
Autor Luca Marchetti et al.
9 oct 2017
Hardback
Preț: 215.33 lei 269.16 lei
3-5 săpt. | 6-10 zile
-20%
Models of Computation
Autor Roberto Bruni et al.
10 apr 2017
Hardback
Preț: 386.48 lei 483.11 lei
6-8 săpt.
-20%
An Introduction to Online Computation: Determinism, Randomization, Advice
Autor Dennis Komm
10 noi 2016
Hardback
Preț: 588.40 lei 735.50 lei
38-44 zile
-20%
Introduction to Concurrency Theory: Transition Systems and CCS
Autor Roberto Gorrieri et al.
11 sep 2015
Hardback
Preț: 328.29 lei 410.37 lei
3-5 săpt.
-20%