"MoonWalker: Verification of. NET Programs" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Verification of Business Rules Programs	Bruno Berstel-Da Silva	2014	Springer Berlin Heidelberg
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	3rd ed. 2009	Springer London
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	2nd ed. 1997	Springer New York
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	1991	Springer New York
A Survey of Verification Techniques for Parallel Programs	Howard Barringer	1985	Springer Berlin Heidelberg
Modular Specification and Verification of Object-Oriented Programs	Peter Müller	2002	Springer Berlin Heidelberg
Decision verification as an element of Navy quality assurance programs	Wayne L. Chadick	1977
. NET gotchas: 75 ways to improve your C♯ and VB. NET programs	Venkat Subramaniam	2005	O'Reilly Media, Inc.
Visual Basic. NET: your Visual blueprint for building versatile programs on the. NET framework	Bowman R.	2002	Hungry Minds
An approach to automating the verification of compact parallel coordination programs. I.	B. D. Lubachevsky	1983	Courant Institute of Mathematical Sciences, New York University
An approach to automating the verification of compact parallel coordination programs. I.	B. D. Lubachevsky	1983	Courant Institute of Mathematical Sciences, New York University
An approach to automating the verification of compact parallel coordination programs. II.	B. D. Lubachevsky	1983	Courant Institute of Mathematical Sciences, New York University
Verification of several parallel coordination programs based on descriptions of their reachability sets.	B. D. Lubachevsky	1981	Courant Institute of Mathematical Sciences, New York University
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs	Vladimir Herdt	1st ed. 2016	Springer Fachmedien Wiesbaden
Verification of forecasts	United States. Weather Bureau	1933
Net net	Isadore Barmash	1972	Macmillan
Maintaining the safety net: income redistribution programs in the Reagan administration	John C. Weicher	1984	American Enterprise Institute for Public Policy Research
Safety net programs and poverty reduction: lessons from cross-country experience	K. Subbarao	1997	World Bank
Reweaving Canada's social programs: from shredded safety net to social solidarity		1993	Ecumenical Coalition for Economic Justice
Formal Verification of Circuits	Rolf Drechsler	2000	Springer US
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
MoonWalker: Verification of. NET Programs	Niels H. M. Aan de Brugh; Viet Yen Nguyen; Theo C. Ruys	Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Stefan Kowalewski; Anna Philippou	2009	Springer Berlin Heidelberg
Verification of Concurrent Programs Using Petri Net Unfoldings	Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Mehdi Naouar; Andreas Podelski; Claus Schätzle	Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings	Fritz Henglein; Sharon Shoham; Yakir Vizel	1st ed. 2021	Springer International Publishing
Moonwalker Mouse	Esther B. E. Becker	Handbook of the Cerebellum and Cerebellar Disorders	Mario U. Manto; Donna L. Gruol; Jeremy D. Schmahmann; Noriyuki Koibuchi; Roy V. Sillitoe	2nd ed. 2022	Springer International Publishing
Moonwalker Mouse	Esther B. E. Becker	Handbook of the Cerebellum and Cerebellar Disorders	Mario Manto; Donna Gruol; Jeremy Schmahmann; Noriyuki Koibuchi; Roy Sillitoe	0th ed. 2020	Springer International Publishing
The moonwalker		Michael Jackson: king of pop, 1958-2009	Emily Herbert	2009	John Blake
Verification of Sequential Programs	Mordechai Ben-Ari	Mathematical Logic for Computer Science	Mordechai Ben-Ari	3rd ed. 2012	Springer London
Verification of Concurrent Programs	Mordechai Ben-Ari	Mathematical Logic for Computer Science	Mordechai Ben-Ari	3rd ed. 2012	Springer London
Verification of Euclid programs	J. J. Horning	Program Construction: International Summer School	F.L. Bauer; E.W. Dijkstra; S.L. Gerhart; D. Gries; M. Griffiths; J. V. Guttag; J. J. Horning; S. S. Owicki; C. Pair; H. Partsch; P. Pepper; M. Wirsing; H. Wössner; F.L. Bauer; M. Broy	1979	Springer Berlin Heidelberg
Verification of Graph Programs	Christopher M. Poskitt	Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings	Hartmut Ehrig; Gregor Engels; Hans-Jörg Kreowski; Grzegorz Rozenberg	2012	Springer Berlin Heidelberg
Verification of Sequential Programs		Principles of the Spin Model Checker	Mordechai Ben-Ari	2008	Springer London
Verification of Concurrent Programs	Fred Kröger; Stephan Merz	Temporal Logic and State Systems	Fred Kröger; Stephan Merz	2008	Springer Berlin Heidelberg
Verification of JCSP Programs		Communicating Process Architectures 2005 (Concurrent Systems Engineering Series)	Jan F. Broenink, H. W. Roebbers, J. P. E. Sunter, P. H. Welch, D. C. Wood	2005	IOS Press
Savings Verification Programs		Combined Heating, Cooling & Power Handbook: Technologies & Applications: An Integrated Approach to Energy Resource Optimization	Neil Petchers	2002	The Fairmont Press, Inc.
Savings Verification Programs		Combined Heating, Cooling & Power Handbook Technologies & Applications - An Integrated Approach to En
Savings Verification Programs		Combined Heating, Cooling & Power Handbook: Technologies & Applications	Neil Petchers	2002	The Fairmont Press, Inc.
77 Moonwalker Mouse		Handbook of the Cerebellum and Cerebellar Disorders	Mario U. Manto, Donna L. Gruol, Jeremy D. Schmahmann, Noriyuki Koibuchi, Roy V. Sillitoe	2021	Springer
The Moonwalker Mutation		Handbook of the Cerebellum and Cerebellar Disorders	Mario U. Manto, Donna L. Gruol, Jeremy D. Schmahmann, Noriyuki Koibuchi, Roy V. Sillitoe	2021	Springer
Michael the moonwalker		Michael.	Sullivan, Robert	2009	Life Books
Moonwalker (6: 36)		As the river pass; : Living invitation; Moonwalker; Woods of admittance /	Mullaert, Sebastian,; Genner, Felix-Andreas,; Greull, Mischa,; Becker, Julia,; Neustroev, Alexander,; Verrue, Sarah,; Solomon, Peter; Mullaert, Sebastian.; Mullaert, Sebastian.; Mullaert, Sebastian.; Mullaert, Sebastian.; Mullaert, Sebastian.; Mullaert, Sebastian.; Mullaert, Sebastian.; Mullaert, Sebastian.; Mullaert, Sebastian.
“Safety Net” Programs		California Food Guide: Fulfilling the Dietary Guidelines for Americans (CFG)	Seleda Williams, M.D.
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries