"Abstract Object Creation in Dynamic Logic" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Modeling of Dynamic Object Systems: A Logic-based Approach	Ralf Jungclaus	1993	Vieweg+Teubner Verlag
Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction	Benjamin WeiГџ	2011	KIT Scientific Publishing
Abstract Dynamic Programming	Dimitri P. Bertsekas	2018	Athena Scientific
Abstract dynamic programming	Bertsekas, Dimitri P	2018	Athena Scientific
Dynamic Logic	David Harel; Dexter Kozen; Jerzy Tiuryn	2000	MIT Press
Dynamic Logic	David Harel; Dexter Kozen; Jerzy Tiuryn	2000	MIT Press,
Dynamic logic /	Harel, David,; Kozen, Dexter,; Tiuryn, Jerzy.	2000.	MIT Press,
Dynamic logic	Harel, David, 1950-
Dynamic Epistemic Logic	Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi	2008	Springer Netherlands
Object Fantasies: Experience & Creation	Philippe Cordez; Romana Kaske; Julia Saviello; Susanne Thürigen	2018	De Gruyter
First-Order Dynamic Logic	D. Harel	1979	Springer Berlin Heidelberg
Abstract patterns and their creation.	Alice Gertrude Plummer	1916
Parallel computers: object-oriented, functional, logic	P. C. Treleaven	1990	Wiley
Christianity, the logic of creation	Henry James	1857	W. White
The logic of psychology: a dynamic approach	Reuben Fine	1983	University Press of America
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic	Alan P. Parkes	2002	Springer London
The Technique of Controversy: Principles of Dynamic Logic	Boris B. Bogoslovsky	1928	Routledge
Sets, Functions and Logic: An introduction to abstract mathematics	Keith Devlin (auth.)	1992	Springer US
An object-oriented approach to programming logic and design	Joyce Farrell	2006	Thomson/Course Technology
An Object-Oriented Approach to Programming Logic and Design	Joyce Farrell	December 17, 2007	Course Technology
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
Abstract Object Creation in Dynamic Logic	Wolfgang Ahrendt; Frank S. de Boer; Immo Grabe	FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings	Ana Cavalcanti; Dennis R. Dams	2009	Springer Berlin Heidelberg
Abstract Object Creation in Dynamic Log		FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings	Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)	2009	Springer-Verlag Berlin Heidelberg
Dynamic Object Creation	Arunesh Goyal	Moving from C to C++: Discussing programming problems, why they exist and how C++ solves them	Arunesh Goyal	1st ed.	Apress
11. dynamic object creation		Thinking in C++ /	Eckel, Bruce.	[1995], ©1995.	Prentice Hall,
Object, Abstract		Something out of nothing: The work of George Cockayne	Stephen Robert Inglis	1983	University of Ottawa Press
Object, Abstract		Eskimo economics: An aspect of culture change at Rankin Inlet	William Hugh Jansen	1979	University of Ottawa Press
Object, Abstract		Let the past go: A life history	Alice Jacob	1986	University of Ottawa Press
Object, Abstract		Gambling music of the Coast Salish Indians	Wendy Bross. Stuart	1972	University of Ottawa Press
Object, Abstract		Micmac lexicon	Albert D. DeBlois	1984	University of Ottawa Press
Object, Abstract		Swan people: A study of the Dunne-za prophet dance	Robin Ridington	1978	University of Ottawa Press
Object, Abstract		Abenaki basketry	Gaby Pelletier	1982	University of Ottawa Press
Object, Abstract		As it comes: Folk fiddling in Prince George, British Columbia	Roy W. Gibbons	1982	University of Ottawa Press
Modeling Abstract Behavior: A Dynamic Logic Approach	Yi Zhou; Yan Zhang	AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings	Ann Nicholson; Xiaodong Li	2009	Springer Berlin Heidelberg
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change	Sylvie Doutre; Andreas Herzig; Laurent Perrussel	Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation	Beishui Liao; Thomas Ågotnes; Yi N. Wang	1st ed. 2019	Springer Nature Singapore
Object Creation		Learning JavaScript Design Patterns	Addy Osmani	2012	"O'Reilly Media, Inc."
Object Creation		Object REXX for Windows NT and Windows 95	Ueli Wahli, Ingo Holder, Trevor Turton	1997	Prentice Hall PTR
Object Creation		Digital Animation Bible	George Agverakis	2004-06-30	McGraw-Hill
Object Creation		Digital Animation Bible: Creating Professional Animation with 3ds max, LightWave, and Maya	George Avgerakis	2003	McGraw-Hill/TAB Electronics
Object Creation		3D Lighting: History, Concepts, and Techniques (With CD-ROM) (Graphics Series)	Arnold Gallardo	2000	Charles River Media
Object creation		Seamless Object-Oriented Software Architecture	Kim and Jean-Marc Nerson Walden	1995	Prentice Hall
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries