formal-specifications

You May Like

Formal Specifications of Programming Language : A Panoramic Primer By Pagan TB15
Formal Specifications of Programming Language : A Panoramic Primer By Pagan TB15

$14.88

View Details
Financial Audit Systems Modeling- A Formal Specifications Approach [Paperback...
Financial Audit Systems Modeling- A Formal Specifications Approach [Paperback...

$53.04

View Details
The Construction of Formal Specifications: An Introduction to th
The Construction of Formal Specifications: An Introduction to th

$34.87

View Details
Foundations of Real-Time Computing: Formal Specifications and... - 9781461367963
Foundations of Real-Time Computing: Formal Specifications and... - 9781461367963

$134.51

View Details
Formal Specifications of Programming Language : A Panoramic Prime
Formal Specifications of Programming Language : A Panoramic Prime

$13.99

View Details
Formal Specifications of Programming Language : A Panoramic Prime
Formal Specifications of Programming Language : A Panoramic Prime

$13.99

View Details
Introduction Formal Specification and Z by Potter, Ben
Introduction Formal Specification and Z by Potter, Ben

$7.09

View Details
Formal Specification using Z (Grassr... by Lightfoot, David Paperback / softback
Formal Specification using Z (Grassr... by Lightfoot, David Paperback / softback

$6.90

View Details
Foundations Of Real-Time Computing: Formal Specifications And Methods
Foundations Of Real-Time Computing: Formal Specifications And Methods

$174.51

View Details
Foundations Of Real-Time Computing: Formal Specifications And Methods
Foundations Of Real-Time Computing: Formal Specifications And Methods

$159.35

View Details
Formal Methods of Program Verification and Specification (Prentice-Hall S - GOOD
Formal Methods of Program Verification and Specification (Prentice-Hall S - GOOD

$16.01

View Details
Formal Specification of Advanced AI Architectures
Formal Specification of Advanced AI Architectures

$9.83

View Details
Understanding Z: A Specification Language and its Formal Semantics~Cambridge….
Understanding Z: A Specification Language and its Formal Semantics~Cambridge….

$22.50

View Details
Formal Specification Using Z (Computer Science S.)
Formal Specification Using Z (Computer Science S.)

$5.75

View Details
Foundations of Real-Time Computing: Formal Specifications and Methods by Andr? M
Foundations of Real-Time Computing: Formal Specifications and Methods by Andr? M

$190.56

View Details
Formal Specification and Documentation Using Z: A Case Study Approach, Bowen, Jo
Formal Specification and Documentation Using Z: A Case Study Approach, Bowen, Jo

$18.96

View Details
Formal Description Techniques And Protocol Specification, Testing And Verif...
Formal Description Techniques And Protocol Specification, Testing And Verif...

$205.16

View Details
Formal specification using Z By David Lightfoot
Formal specification using Z By David Lightfoot

$13.78

View Details
Formal Specification Techniques For Engineering Modular C Programs
Formal Specification Techniques For Engineering Modular C Programs

$174.51

View Details
Introduction Formal Specification And Z..., Potter, Ben
Introduction Formal Specification And Z..., Potter, Ben

$7.99

View Details
Software Domain Model Integration Methodology for Formal Specifications
Software Domain Model Integration Methodology for Formal Specifications

$75.47

View Details
Formal Specification Level - 9783319378824
Formal Specification Level - 9783319378824

$94.31

View Details
Validation and Verification of Formal Specifications in Object-Oriented Softw-,
Validation and Verification of Formal Specifications in Object-Oriented Softw-,

$75.85

View Details
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION By Franta - Hardcover
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION By Franta - Hardcover

$49.49

View Details
Foundations of Real-Time Computing: Formal Specifications and Methods by Gary M.
Foundations of Real-Time Computing: Formal Specifications and Methods by Gary M.

$188.89

View Details
Foundations of Real-Time Computing : Formal Specifications and Methods, Paper...
Foundations of Real-Time Computing : Formal Specifications and Methods, Paper...

$174.50

View Details
Formal Specification: Techniques and Applications (Paperback or Softback)
Formal Specification: Techniques and Applications (Paperback or Softback)

$65.13

View Details
FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES: A PANORAMIC By Frank G. Pagan NEW
FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES: A PANORAMIC By Frank G. Pagan NEW

$43.95

View Details
Formal Specification Level - 9783319086989
Formal Specification Level - 9783319086989

$94.47

View Details
Soeken - Formal Specification Level Concepts Methods and Algorith - S9000z
Soeken - Formal Specification Level Concepts Methods and Algorith - S9000z

$131.58

View Details
Formal Specification of Programming Languages: A Panoramic Primer
Formal Specification of Programming Languages: A Panoramic Primer

$23.37

View Details
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The

$8.10

View Details
Construction of Formal Specifications: An Introduction to the Mo
Construction of Formal Specifications: An Introduction to the Mo

$6.14

View Details
Formal Description Techniques and Protocol Specification, Testing and Verificati
Formal Description Techniques and Protocol Specification, Testing and Verificati

$242.41

View Details
Foundations of Real-Time Computing : Formal Specifications and Methods, Paper...
Foundations of Real-Time Computing : Formal Specifications and Methods, Paper...

$176.70

View Details
Specification and Transformation of Programs: A Formal Approach to Software De..
Specification and Transformation of Programs: A Formal Approach to Software De..

$48.99

View Details
Formal Description Techniques And Protocol Specification, Testing And Verif...
Formal Description Techniques And Protocol Specification, Testing And Verif...

$205.01

View Details
Introduction to Formal Specification and Z (Prentice-Hall Intern
Introduction to Formal Specification and Z (Prentice-Hall Intern

$11.55

View Details
Understanding Z : A Specification Language and Its Formal Semanti
Understanding Z : A Specification Language and Its Formal Semanti

$17.53

View Details
Formal Specification: Techniques and Applications by Nimal Nissanke: New
Formal Specification: Techniques and Applications by Nimal Nissanke: New

$63.89

View Details
Formal Specification Using Z: A Modelling A... by Jones, J. Paperback / softback
Formal Specification Using Z: A Modelling A... by Jones, J. Paperback / softback

$7.34

View Details
Financial Audit Systems Modeling- A Formal Specifications Approach by J.A. Akiny
Financial Audit Systems Modeling- A Formal Specifications Approach by J.A. Akiny

$70.71

View Details
Berg - Use of Formal Specification of Software June 25-27 1979 Be - S9000z
Berg - Use of Formal Specification of Software June 25-27 1979 Be - S9000z

$146.04

View Details
Copper Finish Formal Spillway Accent Wall Fountain Spout
Copper Finish Formal Spillway Accent Wall Fountain Spout

$129.99

View Details
Formal Specification Techniques for Engineering Modular C Pro... - 9781461368502
Formal Specification Techniques for Engineering Modular C Pro... - 9781461368502

$134.51

View Details
Formal Specification and Design by L.M.G. Feijs (English) Paperback Book
Formal Specification and Design by L.M.G. Feijs (English) Paperback Book

$72.30

View Details
Introduction to Formal Specification with Z and V... by Sheppard, Deri Paperback
Introduction to Formal Specification with Z and V... by Sheppard, Deri Paperback

$13.60

View Details
Soeken - Formal Specification Level Concepts Methods and Algorith - S9000z
Soeken - Formal Specification Level Concepts Methods and Algorith - S9000z

$145.55

View Details
Formal Specification Using Z: A Modelling Approach, , Good Condition, ISBN 18503
Formal Specification Using Z: A Modelling Approach, , Good Condition, ISBN 18503

$5.04

View Details
Specifications of Database Systems: International Workshop on Specifications of
Specifications of Database Systems: International Workshop on Specifications of

$66.98

View Details
Formal Specification : Techniques and Applications, Paperback by Nissanke, Ni...
Formal Specification : Techniques and Applications, Paperback by Nissanke, Ni...

$65.11

View Details
Formal Spillway Wall Fountain Accent Water Spout Copper Finish Atlantic WSCM-S
Formal Spillway Wall Fountain Accent Water Spout Copper Finish Atlantic WSCM-S

$157.99

View Details
Julliand - B 2007 Formal Specification and Development in B 7th In - S9000z
Julliand - B 2007 Formal Specification and Development in B 7th In - S9000z

$68.72

View Details
Sanchez - Formal Specification and Synthesis of Procedural Controller - S9000z
Sanchez - Formal Specification and Synthesis of Procedural Controller - S9000z

$68.72

View Details
Formal Specification using Z (Grassroots)
Formal Specification using Z (Grassroots)

$4.66

View Details
Larch: Languages and Tools for Formal Specification - 9781461276364
Larch: Languages and Tools for Formal Specification - 9781461276364

$47.33

View Details
Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken
Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken

$125.19

View Details
SPECIFICATION AND TRANSFORMATION OF PROGRAMS: A FORMAL By Helmut A. Partsch
SPECIFICATION AND TRANSFORMATION OF PROGRAMS: A FORMAL By Helmut A. Partsch

$48.75

View Details
Specifications of Database Systems : International Workshop on Specifications...
Specifications of Database Systems : International Workshop on Specifications...

$66.16

View Details
Akinyemi - Financial Audit Systems Modeling- A Formal Specifications A - S555z
Akinyemi - Financial Audit Systems Modeling- A Formal Specifications A - S555z

$74.15

View Details
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Formal Specification and Synthesis of Procedural Controllers for Process Systems

$66.79

View Details
Formal Specification Techniques for Engineering Modular C Programs, Hardcover...
Formal Specification Techniques for Engineering Modular C Programs, Hardcover...

$174.49

View Details
Atlantic Ravenna Copper Finish Formal Spillway Accent Wall Fountain Spout WSCR-O
Atlantic Ravenna Copper Finish Formal Spillway Accent Wall Fountain Spout WSCR-O

$157.99

View Details
Formal Specification Level : Concepts, Methods, and Algorithms, Paperback by ...
Formal Specification Level : Concepts, Methods, and Algorithms, Paperback by ...

$125.07

View Details
Larch: Languages and Tools for Formal Specification by Guttag, John V.
Larch: Languages and Tools for Formal Specification by Guttag, John V.

$23.12

View Details
Formal Systems Specification: The RPC-Memory Specification Case Study by Manfred
Formal Systems Specification: The RPC-Memory Specification Case Study by Manfred

$69.14

View Details
Oil Rubbed Bronze Finish Verona Formal Spillway Brass Accent Wall Spout - WSV-S
Oil Rubbed Bronze Finish Verona Formal Spillway Brass Accent Wall Spout - WSV-S

$175.99

View Details
BlackandBeige lace cocktail/party dress with belt.ONLY ONE DM FOR SPECIFICATION
BlackandBeige lace cocktail/party dress with belt.ONLY ONE DM FOR SPECIFICATION

$35.00

View Details
Nissanke - Formal Specification Techniques and Applications - New p - S9000z
Nissanke - Formal Specification Techniques and Applications - New p - S9000z

$68.72

View Details
Formal Specification Techniques for Engineering Modular C Programs
Formal Specification Techniques for Engineering Modular C Programs

$290.22

View Details
B 2007: Formal Specification and Development in B: 7th International Conference
B 2007: Formal Specification and Development in B: 7th International Conference

$66.79

View Details
Formal Description Techniques and Protocol Specification, Testing and Verificati
Formal Description Techniques and Protocol Specification, Testing and Verificati

$244.32

View Details
Formal Specification and Synthesis of Procedural Controllers for Process Syst...
Formal Specification and Synthesis of Procedural Controllers for Process Syst...

$65.97

View Details
Formal Specification: Techniques and Applications by Nimal Nissanke (English) Pa
Formal Specification: Techniques and Applications by Nimal Nissanke (English) Pa

$88.69

View Details
The Use of Formal Specification of Software: June 25-27, 1979, Berlin by H.K. Be
The Use of Formal Specification of Software: June 25-27, 1979, Berlin by H.K. Be

$125.37

View Details
Atlantic Verona Copper Finish Formal Spillway Accent Wall Fountain Spout WSCV-S
Atlantic Verona Copper Finish Formal Spillway Accent Wall Fountain Spout WSCV-S

$157.99

View Details
Sexy black dress for party/cocktail/date night ONLY ONE DM FOR SPECIFICATION
Sexy black dress for party/cocktail/date night ONLY ONE DM FOR SPECIFICATION

$35.00

View Details
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z

$68.46

View Details
Formal Specification: Techniques and Applications by Nimal Nissanke (English) Pa
Formal Specification: Techniques and Applications by Nimal Nissanke (English) Pa

$66.79

View Details
Specification and Transformation of Programs: A Formal Approach to Software Deve
Specification and Transformation of Programs: A Formal Approach to Software Deve

$71.48

View Details
Specification and Transformation of Programs: A Formal Approach to Software Deve
Specification and Transformation of Programs: A Formal Approach to Software Deve

$68.69

View Details
Specification and Transformation of Programs : A Formal Approach to Software ...
Specification and Transformation of Programs : A Formal Approach to Software ...

$66.19

View Details
Formal Spillway Wall Fountain Spout 600 GPH Oil Rubbed Bronze Atlantic WSM-S
Formal Spillway Wall Fountain Spout 600 GPH Oil Rubbed Bronze Atlantic WSM-S

$175.99

View Details
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z

$127.53

View Details
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Ox
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Ox

$21.22

View Details
Formal Systems Specification : The Rpc-Memory Specification Case Study, Paper...
Formal Systems Specification : The Rpc-Memory Specification Case Study, Paper...

$68.29

View Details
Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M
Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M

$188.89

View Details
Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M
Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M

$189.69

View Details
Specification and Transformation of Programs: A Formal Approach to Software Deve
Specification and Transformation of Programs: A Formal Approach to Software Deve

$77.95

View Details
Cynthia
Cynthia

$469.00

View Details
THE FORMAL SPECIFICATION OF THE ELEMENTS OF STRESS IN CARTESIAN, AND IN CYLINDRI
THE FORMAL SPECIFICATION OF THE ELEMENTS OF STRESS IN CARTESIAN, AND IN CYLINDRI

$23.31

View Details
LARCH: LANGUAGES AND TOOLS FOR FORMAL SPECIFICATION By John Guttag & James J.
LARCH: LANGUAGES AND TOOLS FOR FORMAL SPECIFICATION By John Guttag & James J.

$36.95

View Details
Formal Specification and Synthesis of Procedural Controllers for Process Systems
Formal Specification and Synthesis of Procedural Controllers for Process Systems

$87.38

View Details
THE OBJECT-Z SPECIFICATION LANGUAGE (ADVANCES IN FORMAL By Graeme Smith *VG+*
THE OBJECT-Z SPECIFICATION LANGUAGE (ADVANCES IN FORMAL By Graeme Smith *VG+*

$88.95

View Details
Formal Specification Level : Concepts, Methods, and Algorithms, Hardcover by ...
Formal Specification Level : Concepts, Methods, and Algorithms, Hardcover by ...

$130.34

View Details

© 2008-2024 formal-specifications (https://www.divisionte.com/). All Rights Reserved.