Introduction to formal specification and Z
Saved in:
| Main Author: | Potter |
|---|---|
| Other Authors: | Sinclair, Till |
| Format: | Book |
| Published: |
London
Prentice Hall
1996
|
| Edition: | 2nd ed |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Using Z specification, refinement, and proof
by: Woodcock, Jim
Published: (1996)
by: Woodcock, Jim
Published: (1996)
Domain-specific application frameworks frameworks experience by industry
Published: (1999)
Published: (1999)
Introduction to software design and development with ADA
by: RuddlhDavid
by: RuddlhDavid
To open process specification
by: Graham
Published: (1997)
by: Graham
Published: (1997)
Software specification and design a disciplined approach for real-time systems
by: Shumate
Published: (1992)
by: Shumate
Published: (1992)
Guide to standards and specifications for designing Web software
by: Magee, Stan
Published: (1998)
by: Magee, Stan
Published: (1998)
Software requirment & specifications a lexicon of practice, principles and prejudices
by: Jackson, Michael (Michael James)
Published: (1995)
by: Jackson, Michael (Michael James)
Published: (1995)
The java developer's toolkit
by: Marketos
Published: (1997)
by: Marketos
Published: (1997)
C++ software development for technology students
by: Conger, David
Published: (2000)
by: Conger, David
Published: (2000)
Framework-based software development in C++
by: RogerslhGregory F.
by: RogerslhGregory F.
The cucumber for Java book behaviour-driven development for testers and developers
by: Rose, Seb, et al.
Published: (2015)
by: Rose, Seb, et al.
Published: (2015)
Formal description techniques, VIII proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Published: (1996)
Published: (1996)
Multithreading programming techniques
by: Prasad
Published: (1997)
by: Prasad
Published: (1997)
Software requirements analysis and specifications
by: SodhilhJag
by: SodhilhJag
Adventures in coding
by: Holland, Eva, et al.
Published: (2016)
by: Holland, Eva, et al.
Published: (2016)
Java application frameworks
by: Govoni 1970
Published: (1999)
by: Govoni 1970
Published: (1999)
Dart 1 for everyone fast, flexible, structured code for the modern web
by: Strom, Chris
Published: (2014)
by: Strom, Chris
Published: (2014)
iOS 12 programming fundamentals with Swift Swift, Xcode, and Cocoa basics
by: Neuburg, Matt
Published: (2018)
by: Neuburg, Matt
Published: (2018)
Into 3D with form Z Modeling, rendering and animation
by: KhemlanilhLachmi
by: KhemlanilhLachmi
Full stack web development with Backbone.js
by: Mulder, Patrick
Published: (2014)
by: Mulder, Patrick
Published: (2014)
Continuous delivery in Java essential tools and best practices for deploying code to production
by: Bryant, Daniel, et al.
Published: (2019)
by: Bryant, Daniel, et al.
Published: (2019)
Android how to program
by: Deitel, Paul J., et al.
Published: (2015)
by: Deitel, Paul J., et al.
Published: (2015)
A practical introduction to software design with C++
by: Reiss
Published: (1999)
by: Reiss
Published: (1999)
Programming from specifications
by: Morgan, Carroll 1952-
Published: (1994)
by: Morgan, Carroll 1952-
Published: (1994)
Developing visual programming applications using smalltalk
by: LindermanlhMichael
by: LindermanlhMichael
Object-oriented test & measurement software development in C ++ bridging the gap between object-oriented programming and test & measurement
by: Atchison, Lee
Published: (1997)
by: Atchison, Lee
Published: (1997)
Object-oriented software development a practical guide
by: LorenzlhMark
Published: (1993)
by: LorenzlhMark
Published: (1993)
Transition to object-oriented software development
by: Fayad lhMohamed
by: Fayad lhMohamed
Enyo up and running
by: Sutton, Roy
Published: (2015)
by: Sutton, Roy
Published: (2015)
Google compute engine
by: Cohen, Marc, et al.
Published: (2015)
by: Cohen, Marc, et al.
Published: (2015)
Design patterns formalization techniques
Published: (2007)
Published: (2007)
Micro ocus workbench and toolset developer's guide
by: Lamb
Published: (1995)
by: Lamb
Published: (1995)
Cloud native DevOps with Kubernetes building, deploying, and scaling modern applications in the Cloud
by: Arundel, John, et al.
Published: (2019)
by: Arundel, John, et al.
Published: (2019)
Object-oriented application development with visualage for C++ for OS/2
Published: (1996)
Published: (1996)
Kubernetes patterns reusable elements for designing cloud-native applications
by: Ibryam, Bilgin, et al.
Published: (2019)
by: Ibryam, Bilgin, et al.
Published: (2019)
Beginning Android programming with Android Studio
by: DiMarzio, J. F.
Published: (2017)
by: DiMarzio, J. F.
Published: (2017)
Java software structures designing and using data structures
by: Lewis, John
Published: (2010)
by: Lewis, John
Published: (2010)
Java cookbook solutions and examples for Java developers
by: Darwin, Ian F.
Published: (2014)
by: Darwin, Ian F.
Published: (2014)
Designing hard software the essential tasks
by: Bennett
Published: (1996)
by: Bennett
Published: (1996)
Software requirements objects,functions and states
by: Davis
Published: (1993)
by: Davis
Published: (1993)
Similar Items
-
Using Z specification, refinement, and proof
by: Woodcock, Jim
Published: (1996) -
Domain-specific application frameworks frameworks experience by industry
Published: (1999) -
Introduction to software design and development with ADA
by: RuddlhDavid -
To open process specification
by: Graham
Published: (1997) -
Software specification and design a disciplined approach for real-time systems
by: Shumate
Published: (1992)


