Filter
Søkt på: Bøker av Nikolai Tillmann
Filter
totalt 3 treff
Tests and Proofs
heftet,
2014,
Engelsk,
ISBN 9783319090986
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated …
Runtime Verification
heftet,
2010,
Engelsk,
ISBN 9783642166112
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program …
TouchDevelop
heftet,
2013,
Engelsk,
ISBN 9781430261360
"The book is great! It's clear and easy to read, with loads of examples that showed my students what to do." -- Larry Snyder, Emeritus Professor, University of …