Program construction and verification

Program construction and verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Backhouse, Roland C. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Englewood Cliffs N.J. Prentice-Hall c1986
Θέματα:	COMPUTER PROGRAMS

Παρόμοια τεκμήρια

Learning to program
ανά: Johnston, Howard
Έκδοση: (1985)

Object-oriented software construction
ανά: Meyer, Bertrand, 1950-
Έκδοση: (1988)

The preparation of programs for an electronic digital computer
ανά: Gill, Stanley, κ.ά.
Έκδοση: (1982)

Structure and interpretation of computer programs
ανά: Abelson, Harold, κ.ά.
Έκδοση: (1985)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

Synchronization of parallel programs
ανά: Andre, Francoise, κ.ά.
Έκδοση: (1985)

Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
Έκδοση: (1986)

Advanced C++ programming styles and idioms
ανά: Coplien, James O.
Έκδοση: (1992)

Computer programs for computational assistance in the study of linear control theory
ανά: Melsa, James
Έκδοση: (1970)

Multichannel time series analysis With digital computer programs
ανά: Robinson, Enders A.
Έκδοση: (1967)

Running Microsoft Outlook 97
ανά: Borland, Russell
Έκδοση: (1997)

Software specification techniques
ανά: Gehani, Narain, κ.ά.
Έκδοση: (1986)

Using sidekick: The desktop organizer
ανά: Robinson, Phillip R.
Έκδοση: (1988)

Beginning ASP 3.0 [Active Server Pages 3.0 Online support at p2p. wrox.com]
ανά: Ullman, Chris, κ.ά.
Έκδοση: (2002)

Reliable distributed system software
ανά: Stankovic, John A.
Έκδοση: (1985)

Inside Macintosh Overview
Έκδοση: (1992)

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

ASP.NET UNLEASHED
ανά: Walther, Stephen
Έκδοση: (2004)

Hypertext Proceedings of the ACM/SIGCHI November 5-8, 1989
Έκδοση: (1989)

Σε 10 λεπτα μαθαινετε το PowerPoint 97
ανά: Wempen, Faithe
Έκδοση: (1997)

ASP.NET Kick Start
ανά: Walther, Stephen
Έκδοση: (2003)

IEEE Software
Έκδοση: (1984)

Γρηγορα μαθηματα στο ελληνικο Microsoft Powerpoint 97
ανά: Cox, Joyce, κ.ά.
Έκδοση: (1997)

Document Processing Systems Proceedings of the ACM Conference Santa Fe, New Mexico December 5-9 1988
Έκδοση: (1988)

Verification of Business Rules Programs
ανά: Berstel-Da Silva, Bruno
Έκδοση: (2014)

Verification of Sequential and Concurrent Programs
ανά: Apt, Krzysztof R., κ.ά.
Έκδοση: (2009)

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Έκδοση: (2013)

Proceedings of the 3rd workshop on Programming languages meets program verification
Έκδοση: (2009)

Proceedings of the 7th workshop on Programming languages meets program verification
Έκδοση: (2013)

Time for Verification Essays in Memory of Amir Pnueli /
Έκδοση: (2010)

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Έκδοση: (2014)

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
Έκδοση: (2008)

Modular Specification and Verification of Object-Oriented Programs
ανά: Müller, Peter, κ.ά.
Έκδοση: (2002)

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /
Έκδοση: (2010)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /
Έκδοση: (2006)

Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /
Έκδοση: (2004)

Proceedings of the 5th ACM workshop on Programming languages meets program verification
Έκδοση: (2011)

Software Verification and Analysis An Integrated, Hands-On Approach /
ανά: Stanley, William, κ.ά.
Έκδοση: (2009)

The Correctness-by-Construction Approach to Programming
ανά: Kourie, Derrick G., κ.ά.
Έκδοση: (2012)

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Έκδοση: (2012)

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

Cannot write session to /tmp/vufind_sessions/sess_umokt4o5bb0qec7gl6rfb5bn23