An introduction to formal specification an Z

An introduction to formal specification an Z

Bibliographic Details
Main Authors:	Potter Ben (Author), Sinclair Jane (Author), Till David (Author)
Format:	Book
Language:	English
Published:	Prentice Hall
Edition:	2nd ed.

Similar Items

The Java developer's toolkit
by: Marketos Joshua
Published: (1997)

Into 3D with form.Z Modeling, rendering, and animation
by: khemlani Lachmi
Published: (1999)

Ο μικροεπεξεργαστής Z80 και τα περιφερειακά του Υλικό, προγραμματισμός, εφαρμογές CPU - CTC - SIO - DMA
by: Σύρκος Γεώργιος Π., et al.
Published: (1997)

Applying domain-driven design and patterns with examples in C# and .NET
by: Nilsson Jimmy
Published: (2006)

Software engineering metrics and models
by: Conte S. D., et al.
Published: (1986)

Γνωρίστε τους μΕ με την οικογένεια του Z80 υλικό, προγραμματισμός, περιφερειακά, εφαρμογές
by: Αγγελόπουλος Ι., et al.
Published: (1992)

Συμβολικές γλώσσες και αρχιτεκτονική μικροεπεξεργαστών
by: Κοσσίδας Απόστολος Θ., et al.
Published: (1996)

Android προγραμματισμός
by: Deitel Paul J., et al.
Published: (2014)

Interface design The art of developing easy-to-use software
by: Bickford Peter
Published: (1997)

The Java 3D API specification
by: Sowizral Henry, et al.
Published: (1998)

Java 2 certification exam guide for programmers and developers
by: Boone Barry, et al.
Published: (2000)

The Java virtual machine specification
by: Lindholm Tim, et al.
Published: (1999)

An introduction to PROLOG
by: Ramachandran Bharath
Published: (1986)

Lotus notes certification Application development and system administration
by: Thomas Scott Lawrence, et al.
Published: (1998)

Essential Java fast How to write object oriented software for the Internet
by: Cowell John 1957-
Published: (1997)

Ανάπτυξη web εφαρμογών με PHP και MySQL
by: Welling Luke, et al.
Published: (2017)

Ζ80 - Περιφερειακά υλικό, λογισμικό και εφαρμογές
by: Σύρκος Γεώργιος Π.
Published: (1988)

Formal specification of distributed multimedia systems
by: Blair Gordon
Published: (1998)

Case Ανάπτυξη προγραμμάτων με τη βοήθεια υπολογιστή
by: Lewis T. G.
Published: (1994)

Creating high performance software development teams
by: Ginac Frank P.
Published: (2000)

Introduction to Turbo Prolog
by: Townsend Carl 1938-
Published: (1986)

Software engineering risk management
by: Karolak Dale Walter
Published: (1996)

The unified modeling language user guide
by: Booch Grady, et al.
Published: (1999)

DSDM Dynamic systems development method The method in practice
by: Stapleton Jennifer
Published: (1997)

Planning eXtreme programming
by: Beck Kent, et al.
Published: (2001)

Extreme programming explained Embrace change
by: Beck Kent
Published: (2000)

DSDM Business focused development
Published: (2003)

Systems software tools
by: Biggerstaff Ted J.
Published: (1986)

Introduction to occam 2 on the transputer
by: Brookes Graham R., et al.
Published: (1989)

Η γλώσσα μηχανής του spectrum
by: Γεωργιάδης Νίκος
Published: (1986)

Software reengineering
by: Arnold Robert S.
Published: (1993)

A practical handbook for software development
by: Birrell N. D., et al.
Published: (1985)

Mastering the requirements process
by: Robertson Suzanne, et al.
Published: (1999)

Requirements engineering Processes and techniques
by: Kotonya Gerald, et al.
Published: (1998)

Requirements engineering A good practice guide
by: Sommerville Ian, et al.
Published: (1997)

The T programming language a dielect of LISP
by: Slade Stephen
Published: (1987)

David Linthicum's guide to client/server and intranet development
by: Linthicum David S. 1962-
Published: (1997)

Introduction to computer applications using BASIC
by: Jones Richard M.
Published: (1981)

SPICE The theory and practice of software process improvement and capability determination
by: El Emam Khaled, et al.
Published: (1998)

Using information technology A practical introduction to computers & communications
by: Williams Brian K., et al.
Published: (1999)