Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Editat de Jeremy Gibbons et al.
26 oct 2009
Paperback
Preț: 315.48 lei 394.35 lei
6-8 săpt.
-20%
Cărți de Jeremy Gibbons
The Fun of Programming
Autor Jeremy Gibbons et al.
26 mar 2003
Paperback
Preț: 487.68 lei 609.60 lei
6-8 săpt.
-20%
Generic Programming
Editat de Roland Backhouse et al.
29 sep 2003
Paperback
Preț: 290.79 lei 363.48 lei
6-8 săpt.
-20%
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Editat de Roland Backhouse et al.
17 apr 2002
Paperback
Preț: 326.48 lei 408.10 lei
6-8 săpt.
-20%
Integrated Formal Methods
Editat de Jim Davies et al.
22 iun 2007
Paperback
Preț: 640.94 lei 801.16 lei
6-8 săpt.
-20%
Generic and Indexed Programming
Editat de Jeremy Gibbons
10 iul 2012
Paperback
Preț: 292.19 lei 365.23 lei
6-8 săpt.
-20%
Datatype-Generic Programming
Editat de Roland Backhouse et al.
30 noi 2007
Paperback
Preț: 325.47 lei 406.84 lei
6-8 săpt.
-20%
Generic Programming
Editat de Jeremy Gibbons et al.
8 mar 2013
Paperback
Preț: 619.71 lei 774.64 lei
6-8 săpt.
-20%
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Editat de Jeremy Gibbons et al.
16 mai 2024
Paperback
Preț: 403.56 lei 504.45 lei
6-8 săpt.
-20%
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Editat de Jeremy Gibbons et al.
18 iun 2012
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Editat de Jeremy Gibbons et al.
29 mar 2018
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-20%
Algorithm Design with Haskell
Autor Richard Bird et al.
8 iul 2020
Hardback
Preț: 413.18 lei 516.47 lei
6-8 săpt.
-20%