M.N · Maurice Naftalin Maurice
title | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. ... Notes in Computer Science , Band 873) | 978-3-540-58555-8 | 2008 | Miquel Bertran · Tim Denvir | |
Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994: Proc | 978-0-387-58555-0 | 1994 | spai International Symposium of Formal Methods Europe 1994 Barcelona · Tim Denvir | |
Génériques et collections Java | 978-2-84177-463-0 | 2007 | Philip Wadler | |
[(Java Generics and Collections)] | 978-0-596-10247-0 | 2006 | ||
Java Generics and Collections: Speed Up the Java Development Process | 978-0-596-52775-4 | 2006 | Philip Wadler | |
Mastering Lambdas: Java Programming in a Multicore World | 978-0-07-182962-5 | 2014 |
McGraw-Hill · O'Reilly Editions · O'Reilly Media · Springer