Program construction and verification

Program construction and verification

Bibliographic Details
Main Author:	Backhouse, Roland C. (Author)
Format:	Book
Language:	English
Published:	Englewood Cliffs N.J. Prentice-Hall c1986
Subjects:	COMPUTER PROGRAMS

Similar Items

Learning to program
by: Johnston, Howard
Published: (1985)

Object-oriented software construction
by: Meyer, Bertrand, 1950-
Published: (1988)

The preparation of programs for an electronic digital computer
by: Gill, Stanley, et al.
Published: (1982)

Structure and interpretation of computer programs
by: Abelson, Harold, et al.
Published: (1985)

Structured development of parallel programs
by: Pelagatti, Susanna
Published: (1998)

Synchronization of parallel programs
by: Andre, Francoise, et al.
Published: (1985)

Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
Published: (1986)

Advanced C++ programming styles and idioms
by: Coplien, James O.
Published: (1992)

Computer programs for computational assistance in the study of linear control theory
by: Melsa, James
Published: (1970)

Multichannel time series analysis With digital computer programs
by: Robinson, Enders A.
Published: (1967)

Running Microsoft Outlook 97
by: Borland, Russell
Published: (1997)

Software specification techniques
by: Gehani, Narain, et al.
Published: (1986)

Using sidekick: The desktop organizer
by: Robinson, Phillip R.
Published: (1988)

Beginning ASP 3.0 [Active Server Pages 3.0 Online support at p2p. wrox.com]
by: Ullman, Chris, et al.
Published: (2002)

Inside Macintosh Overview
Published: (1992)

Reliable distributed system software
by: Stankovic, John A.
Published: (1985)

ASP.NET UNLEASHED
by: Walther, Stephen
Published: (2004)

Υλοποίηση βιβλιοθήκης προγραμμάτων για λείανση (smoothing) Διπλωματική εργασία
by: Γρηγοριάδης, Ιορδάνης Γ.
Published: (1993)

Hypertext Proceedings of the ACM/SIGCHI November 5-8, 1989
Published: (1989)

Σε 10 λεπτα μαθαινετε το PowerPoint 97
by: Wempen, Faithe
Published: (1997)

ASP.NET Kick Start
by: Walther, Stephen
Published: (2003)

IEEE Software
Published: (1984)

Γρηγορα μαθηματα στο ελληνικο Microsoft Powerpoint 97
by: Cox, Joyce, et al.
Published: (1997)

Document Processing Systems Proceedings of the ACM Conference Santa Fe, New Mexico December 5-9 1988
Published: (1988)

Verification of Business Rules Programs
by: Berstel-Da Silva, Bruno
Published: (2014)

Verification of Sequential and Concurrent Programs
by: Apt, Krzysztof R., et al.
Published: (2009)

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Published: (2013)

Proceedings of the 3rd workshop on Programming languages meets program verification
Published: (2009)

Proceedings of the 7th workshop on Programming languages meets program verification
Published: (2013)

Time for Verification Essays in Memory of Amir Pnueli /
Published: (2010)

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Published: (2014)

Modular Specification and Verification of Object-Oriented Programs
by: Müller, Peter, et al.
Published: (2002)

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
Published: (2008)

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /
Published: (2010)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /
Published: (2006)

Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /
Published: (2004)

Proceedings of the 5th ACM workshop on Programming languages meets program verification
Published: (2011)

Software Verification and Analysis An Integrated, Hands-On Approach /
by: Stanley, William, et al.
Published: (2009)

The Correctness-by-Construction Approach to Programming
by: Kourie, Derrick G., et al.
Published: (2012)

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Published: (2012)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_bqdfi8s3p4b31qia00oest74oh