Formal Methods: An Appetizer
Autor Flemming Nielson et al.
25 iul 2019
Hardback
Preț: 320.52 lei 400.65 lei
38-44 zile
-20%
Cărți de Hanne Riis Nielson
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Editat de Hanne Riis Nielson et al.
5 iun 2019
Paperback
Preț: 325.06 lei 406.32 lei
43-57 zile
-20%
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Editat de Hanne Riis Nielson et al.
9 aug 2007
Paperback
Preț: 336.39 lei 420.48 lei
43-57 zile
-20%
Semantics with Applications: An Appetizer
Autor Hanne Riis Nielson et al.
27 apr 2007
Paperback
Preț: 271.49 lei 339.36 lei
43-57 zile
-20%
Transactions on Computational Systems Biology VII
Editat de Anna Ingolfsdottir et al.
13 noi 2006
Paperback
Preț: 320.86 lei 401.08 lei
43-57 zile
-20%
Two-Level Functional Languages
Autor Flemming Nielson et al.
21 aug 2005
Paperback
Preț: 348.45 lei 435.56 lei
43-57 zile
-20%
Type and Effect Systems: Behaviours for Concurrency
Autor Torben Amtoft et al.
28 feb 1999
Hardback
Preț: 592.68 lei 740.86 lei
Se retipărește
-20%