"Ready-Simulation Is Not Ready to Express a Modular Refinement Relation"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction	Markus Müller-Olm	1997	Springer Berlin Heidelberg
Rooms: Ready and Not Ready to Die	Gillian McConnell	June 5, 2006	PublishAmerica
Not ready to walk alone	Judith Fabisch	1978	Zondervan Pub. House
Modular approach to structural simulation for vehicle crashworthiness prediction	Pin Tong	1975	Transportation Systems Center
Ready or not: a novel.	Scannell, Frank	1968	Crown Publishers
Ready or not; a novel
I'm not ready!	Jonathan Allen	2011	Scholastic
Ready or not.	Michaux, Sophie,; Bacewicz, Grażyna.; Casulana, Maddalena,; Strozzi, Barbara,; Seymour, Akenya.; Knowles, Liz.
I'm not ready!	Jonathan Allen	2015	Boxer Books Limited
Ready or Not?	Chris Manby	July 4, 2005	Hodder & Stoughton Paperbacks
Ready or not	Mary Stolz	1953	Harper
Ready or not	Meg Cabot	2006	Thorndike Press
Ready or Not	Chris Manby	January 2006	Ulverscroft Large Print
Ready or not	J. L. Berg	2014	CreateSpace
Not Ready for Marriage,Not Ready for Sex: One Couple's Return to Chastity	Chris Padgett; Linda Padgett	April 2006	Servant Publications
Object-Oriented Simulation with Hierarchical, Modular Models	Bernard P. Zeigler	1990	Academic Press
Modular program development for vehicle crash simulation		1977	The Administration;National Technical Information Service [distributor]
Ready or Not/Retirement Guide (Ready or Not: Retirement Guide)	Suzanne Arnold	March 1994	Modern Bu-Jutsu Inc
Mastering web application development with Express a comprehensive guide to developing production-ready web applications with Express	Vlăduţu, Alexandru	2014	Packt Pub
Modeling and Simulation in Polymer Reaction Engineering - A Modular Approach	Klaus-Dieter Hungenberg	2018	John Wiley & Sons
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
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation	Françoise Bellegarde; Jacques Julliand; Olga Kouchnarenko	Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings	Tom Maibaum	2000	Springer Berlin Heidelberg
10 A modular relation		The Distribution of Prime Numbers: Large Sieves and Zero-density Theorems	M.N. Huxley	1972	Oxford University Press, USA
This is not a ready-made	Jean Pierre Dubost	Haim Steinbach	Haim Steinbach; Valentin Rauer; Stephanie Rosenthal; Bruce Ferguson	1995	Ritter
Thread-Modular Abstraction Refinement	Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar; Shaz Qadeer	Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings	Warren A. Hunt; Jr.; Fabio Somenzi	2003	Springer Berlin Heidelberg
READY, NOT READY		Canada's Wars: An Illustrated History	Jonathan Webb	2010	Madison Press Books
(e) Relation to modular forms		Number Theory 3: Iwasawa Theory and Modular Forms	Nobushige Kurokawa, Masato Kurihara, Takeshi Saito	2012	AmerICAN Mathematical Society
Not ready to fight		My time: life and times in the twentieth century	C. Robert Wolfe	2008	AuthorHouse
Not ready to be a product		Plastic Fantastic: How the Biggest Fraud in Physics Shook the Scientific World	Schön, Jan Hendrik; Reich, Eugenie Samuel	2010;2009	Palgrave Macmillan
Not ready		Operation Yes	Sara Holmes	2009	Scholastic
Not Ready!		Ready or not!: 150+ make-ahead, make-over, and make-now recipes by Nom Nom Paleo	Michelle Tam	2017
Not Ready		Easter bells: Poems	Margaret Elizabeth Munson Sangster	1897	Harper & Brothers
Not ready		Al Capone does my shirts	Gennifer Choldenko	2004	Bloomsbury Pub.
Not ready		Unforgettable: short stories	Paulette Bates Alden	2014	Radiator Press
Not ready		Do You Love Me?: Making Healthy Dating Decisions	Ashley Rae Harris	2009	ABDO Pub. Company
Modular refinement and model building	Martin de Groot; Ken Robinson	Algebraic Methodology and Software Technology: 6th International Conference, AMAST ' 97, Sydney, Australia, Dezember 13-17, 1997. Proceedings	Michael Johnson	1997	Springer Berlin Heidelberg
A Technique for Modular Logic Program Refinement	Robert Colvin; Ian Hayes; Paul Strooper	Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers	Kung-Kiu Lau	2001	Springer Berlin Heidelberg
Modular refinement in a novel schema calculi	M. Deutsch, M. Henson and B. Kajtazi	APSEC 2003: Tenth Asia-Pacific Software Engineering Conference: 10-12 December, 2003, Chiang Mai, Thailand /	Asia-Pacific Software Engineering Conference (10th 2003 Chiang Mai, Thailand)	[2003], ©2003.	IEEE Computer Society,
The Iraqi army is not ready to fight	Campbell Robertson	Iraq /	Haugen, David M.,; Musser, Susan.; Lovelace, Kacy.	c2009.	Greenhaven Press,
Not Everyone Is Ready to Join a Leaders' Team 393		Leaders First: Six Bold Steps to Sustain Breakthroughs in Construction	Gene L. Morton	2012	Accelerated Solutions, Ltd.
Section 33: Modular express application		Node. js Notes for Professionals book	GoalKicker Books	2018	GoalKicker Books
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Ready-Simulation Is Not Ready to Express a Modular Refinement Relation" - similar Books and Chapters