"Compositional Transformational Design for Concurrent Programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Compositional Verification of Concurrent and Real-Time Systems	Eric Y.T. Juan; Jeffrey J.P. Tsai	2002	Springer US
Design for X: Concurrent engineering imperatives	Charles M. Eastman	1996	Springer Netherlands
The architecture of concurrent programs	Per Brinch Hansen	1977	Prentice-Hall
Logics and analyses for concurrent heap-manipulating programs	Alexey Gotsman	2009	[British Computer Society]
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
Concurrent enrollment programs: College credit for high school students (Fastback)	Arthur Richard Greenberg	1989	Phi Delta Kappa Educational Foundation
Computer aided concurrent integral design /	Schmidt, R. F.; Schmidt, Martin,	[1996], ©1996.	Springer,
Concurrent computer-integrated building design /	Fenves, Steven J.	[1994], ©1994.	PTR Prentice Hall,
Transformational approaches to systolic design /	Megson, G. M.	1994.	Chapman & Hall,
Concurrent Engineering: Tools and Technologies for Mechanical System Design	Edward J. Haug	1993	Springer Berlin Heidelberg
Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing	Weiming Shen	2001	Routledge
Concurrent Engineering and Design for Manufacture of Electronics Products	Sammy G. Shina	1991	Springer US
Specification and design of concurrent systems	Percy Mett	1994	McGraw-Hill Book Co.
Corporate design programs	Olle Eksell, Charles Harrison-Wallace	1967	Studio Vista; Reinhold
Compositional exercises for the painter	Lucia A. Salemme	1973	Watson-Guptill
circuit design programs for the TRS-80	Howard M. Berlin	1980	H. W. Sams
Digitizing topographic data for skyline design programs	Ward W. Carson	1970	Pacific North West Forest and Range Experiment Station, Forest Service, U.S. Dept. of Agriculture
Design for manufacturability: a systems approach to concurrent engineering and ergonomics	Martin Helander	1992	Taylor & Francis
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
Compositional Transformational Design for Concurrent Programs	Job Zwiers	Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures	Willem-Paul de Roever; Hans Langmaack; Amir Pnueli	1998	Springer Berlin Heidelberg
Compositional Reasoning for Shared-Variable Concurrent Programs	Fuyuan Zhang; Yongwang Zhao; David Sanán; Yang Liu; Alwen Tiu; Shang-Wei Lin et al.	Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings	Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink	1st ed. 2018	Springer International Publishing
Compositional Model Extraction for Higher-Order Concurrent Programs	D. R. Ghica; A. S. Murawski	Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings	Holger Hermanns; Jens Palsberg	2006	Springer Berlin Heidelberg
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks	Azadeh Farzan; Zachary Kincaid	Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings	Radhia Cousot; Matthieu Martel	2010	Springer Berlin Heidelberg
Compositional Bitvector Analysis for Concurrent Programs with Nested Loc		Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings	E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)	2011	Springer-Verlag Berlin Heidelberg
Compositional Proofs for Concurrent Objects	Jerry James; Ambuj Singh	Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures	Willem-Paul de Roever; Hans Langmaack; Amir Pnueli	1998	Springer Berlin Heidelberg
Concurrent Semantics for Concurrent Constraint Programs	Francesca Rossi; Ugo Montanari	Constraint Programming	Brian Mayoh; Enn Tyugu; Jaan Penjam	1994	Springer Berlin Heidelberg
Compositional Non-interference for Concurrent Programs via Separation and Framing	Aleksandr Karbyshev; Kasper Svendsen; Aslan Askarov; Lars Birkedal	Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings	Lujo Bauer; Ralf Küsters	1st ed. 2018	Springer International Publishing
Correct Transformational Design of Concurrent Search Structures	Uwe Nestmann; Martin Steffen	Object Orientation with Parallelism and Persistence	Burkhard Freitag; Cliff B. Jones; Christian Lengauer; Hans-Jörg Schek	1996	Springer US
Noninterference for Concurrent Programs	Gérard Boudol; Ilaria Castellani	Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings	Fernando Orejas; Paul G. Spirakis; Jan van Leeuwen	2001	Springer Berlin Heidelberg
Concurrent Programs	Jan L. A. van de Snepscheut	What Computing Is All About	Jan L.A.van de Snepscheut	1993	Springer New York
Concurrent programs	J. Winkowski	Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974	A. Blikle	1975	Springer Berlin Heidelberg
Concurrent programs	Andrzej Skowron	Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980	A. Salwicki	1983	Springer Berlin Heidelberg
Concurrent Programs	Johannes Link	Unit Testing in Java	Johannes Link and Peter Fröhlich	2004	Morgan Kaufmann
Concurrent Programs		The architecture of concurrent programs	Per Brinch Hansen	1977	Prentice-Hall
A compositional semantics for Concurrent Prolog	Joost N. Kok	STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988; Proceedings	Robert Cori; Martin Wirsing	1988	Springer Berlin Heidelberg
Model-Based Design of Concurrent Programs	Jeff Magee; Jeff Kramer	Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers	Ali E. Abdallah; Cliff B. Jones; Jeff W. Sanders	2005	Springer Berlin Heidelberg
Design and development of concurrent programs	J. Julliand; G. R. Perrin	CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings	W. Händler	1981	Springer Berlin Heidelberg
Transformational Design	Alan Doyle	Fountain House: Creating Community in Mental Health Practice	Alan Doyle; Julius Lanoil; Kenneth Dudek	2013	Columbia University Press
Quantitative Synthesis for Concurrent Programs	Pavol Černý; Krishnendu Chatterjee; Thomas A. Henzinger; Arjun Radhakrishna; Rohit Singh	Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings	Ganesh Gopalakrishnan; Shaz Qadeer	2011	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Compositional Transformational Design for Concurrent Programs" - similar Books and Chapters