Top 180 francesco dell isola leonid igumnov PDF Book Page 8
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Tiziana Margaria, Bernhard Steffen
·533 Pages
·2018
·29.452 MB
DTIC ADA265986: Geographic List of Prime Contract Awards. Oct 91 - Sep 92. FY92. (Dell City Oklahoma - Wayne (County) Penn)
Defense Technical Information Center
·429 Pages
·44.8 MB
FAIL SAFE By EUGENE BURDICK HARVEY WHEELER Dell Books PB 1962 1969 2nd [Hardcover] Eugene Burdick and Harvey Wheeler
Eugene Burdick and u0026 Harvey Wheeler
·1962
·1.4 MB
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
·517 Pages
·2010
·9.016 MB
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Tiziana Margaria, Bernhard Steffen (eds.)
·873 Pages
·2016
·64.114 MB
Frontiers of Particle Beams; Observation, Diagnosis and Correction: Proceedings of a Topical Course Held by the Joint US-CERN School on Particle Accelerators at Anacapri, Isola di Capri, Italy, October 20–26, 1988
Hermann A. Grunder (auth.), M. Month, S. Turner (eds.)
·505 Pages
·1989
·18.787 MB
