"Constructing Correct Software" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Constructing Correct Software	John Cooke	1998	Springer London
Constructing Correct Software	D. John Cooke	2nd ed. 2005	Springer London
Correct Software in Web Applications and Web Services	Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Prinz; Bruno Buchberger	2015	Springer International Publishing
Constructing a real-time mobile robot software system	Kevin LaMonte Huggins	1994	Naval Postgraduate School;Available from National Technical Information Service
The TUXEDO System: software for constructing and managing distributed business applications	Juan M. Andrade; Mark Carges; Terence Dwyer; Stephen Felts	1996	Addison-Wesley Pub.
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report	Manfred Broy; Stefan Jähnichen	1995	Springer Berlin Heidelberg
Correct English	B.A. Phythian	April 2, 1992	Teach Yourself Books
Correct writing	Eugenia Butler	1995	D.C. Heath
Correct auction	Edward Valentine Shepard	1920	Harper & brothers
Correct writing	Eugenia Butler	1991	D.C. Heath
Correct dress. . .	Frederick B. DeBerard	1887
"All correct". . .	C Winter	1879
Correct manners	John B. ] [from old catalog McCoy	1892	Excelsior publishing house
Correct English	B. A. Phythian	June 23, 2000	Teach Yourself Books
The spine of software: designing provably correct software,theory and practice,or,A mathematical introduction to the semantics of computer programs	Robert Laurence Baber	1987	Wiley
Constructing Panic	Lisa. Capps; Elinor Ochs	1995	Harvard University Press
Constructing Postmodernism	Brian McHale	1992	Routledge
Constructing Masculinity	Maurice Berger; Brian Wallis; Simon Watson	1995	Routledge
Constructing Musicology	Alastair Williams	2001	Routledge
Constructing postmodernism /	McHale, Brian.	1992.	Routledge,
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
Selling Correct Software		Security in Computing: 5th Edition	Charles P. Pfleeger And Shari Lawrence Pfleeger	2018	Pearson India
Probably approximately correct software		Thoughtful machine learning with Python: a test-driven approach	Kirk, Matthew	2017	O'Reilly Media, Inc.
Software — Correct Beyond Reasonable Doubt?	R. A. Humphreys	10th Advances in Reliability Technology Symposium	G.P. Libberton	1988	Springer Netherlands
PROVABLY CORRECT SAFETY CRITICAL SOFTWARE	A.P. Ravn; H. Rischel; V. Stavridou	Safety of Computer Control Systems 1990 (Safecomp '90)	B. K. Daniels	1990	Pergamon
Building Software the Correct Way	Shekhar Gulati; Rahul Sharma	Java Unit Testing with JUnit 5: Test Driven Development with JUnit 5	Shekhar Gulati; Rahul Sharma	1st ed.	Apress
Correct software: From experiments to applications	Manfred Broy; Martin Wirsing	KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report	Manfred Broy; Stefan Jähnichen	1995	Springer Berlin Heidelberg
Software Architecture for Correct Components Assembly	Paola Inverardi; Massimo Tivoli	Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures	Marco Bernardo; Paola Inverardi	2003	Springer Berlin Heidelberg
Chapter 1 Probably Approximately Correct Software		Thoughtful Machine Learning With Python	matthew kirk	2017-01-27	Oriely
Chapter 1 Probably Approximately Correct Software		Thoughtful machine learning with Python: a test-driven approach	Kirk, Matthew	2017	O'Reilly Media
Command Center Security: Proving Software Correct	Grace L. Hammonds, Randall W. Lichota, Geoffrey Hird and Jack Wool	COMPASS '95: proceedings of the Tenth Annual Conference on Computer Assurance: systems integrity, software safety, processes security, formal methods, June 25-29, 1995, National Institute of Standards and Technology, Gaithersburg, Maryland /	Conference on Computer Assurance. (10th 1995 National Institute of Standards and Technology)	[1995], ©1995.	IEEE,
On constructing large software systems	Jean-Raymond Abrial	Formal Methods in Systems Engineering	Peter Ryan; Chris Sennett	1993	Springer London
12 - Constructing Large Software Systems		The B-Book: Assigning Programs to Meanings	J. R. Abrial; A. Hoare; Pierre Chapron	1996-10	Cambridge University Press
Formal Techniques in Software Engineering: Correct Software and Safe Systems	Peter Liggesmeyer	Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings	Klaus Schneider; Jens Brandt	2007	Springer Berlin Heidelberg
Using Correct-by-Construction Software Agile Development	Rafael Augusto Lopes Shigemura; Gildarcio Sousa Goncalves; Luiz Alberto Vieira Dias; Paulo Marcelo Tasinaffo; Adilson Marques da Cunha; Luciana Sayuri Mizioka et al.	Information Technology - New Generations: 15th International Conference on Information Technology	Shahram Latifi	1st ed. 2018	Springer International Publishing
How Software Uses Numbers to Correct Photos		How Computers Work (9th edition)	Ron White, Timothy Edward Downs	2007	Que Publishing
Constructing and Using Software Requirement Patterns	X. Franch; C. Quer; S. Renault; C. Guerlain; C. Palomares	Managing Requirements Knowledge	Walid Maalej; Anil Kumar Thurimella	2013	Springer Berlin Heidelberg
Constructing software design theories and models	Arthur Ryman	Studies of Software Design: ICSE' 93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers	David Alex Lamb	1996	Springer Berlin Heidelberg
Constructing Software Design Theories and Models	Arthur Ryman	Studies of software design: ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993: selected papers /	Lamb, David Alex,	1996.	Springer-Verlag,
A PVS-based approach for teaching constructing correct iterations	Michel Lévy; Laurent Trilling	FM' 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II	Jeannette M. Wing; Jim Woodcock; Jim Davies	1999	Springer Berlin Heidelberg
correct		MATLAB&Simulink. Sensor Fusion and Tracking Toolbox™	MathWorks, Inc.	2021	MathWorks, Inc.
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries