Tillmann, Nikolai books & textbook
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Programming and Software Engineering)
Seidl, Martina Tillmann, Nikolai
Springer /2014-08-04 Paperback / 226 Pages
isbn-10: 3319090984 / isbn-13: 9783319090986
TouchDevelop: Programming on the Go (Expert's Voice in Web Development)
Horspool, Nigel Tillmann, Nikolai Bishop, Judith
Apress /2013-05-31 Paperback / 289 Pages
isbn-10: 1430261366 / isbn-13: 9781430261360
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
Barringer, Howard Falcone, Ylies Finkbeiner, Bernd Havelund, Klaus Lee, Insup Pace, Gordon Rosu, Grigore Sokolsky, Oleg Tillmann, Nikolai
Springer /2010-10-19 Paperback / 505 Pages
isbn-10: 3642166113 / isbn-13: 9783642166112
