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
Formal Specifications of Programming Language : A Panoramic Prime
Formal Specifications of Programming Language : A Panoramic Prime

$34.53

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

$34.53

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

$10.74

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

$6.22

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

$5.64

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

$65.13

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

$5.34

View Details
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION By Franta & H. K. Berg
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION By Franta & H. K. Berg

$49.49

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

$127.24

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.81

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.

$189.14

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

$65.46

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

$65.80

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

$13.78

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

$89.15

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

$5.26

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

$89.41

View Details
NEW Lagloon 3 Stars Dress * szLarge * Army Green * Cute & Comfy * 100% Cotton
NEW Lagloon 3 Stars Dress * szLarge * Army Green * Cute & Comfy * 100% Cotton

$22.00

View Details
Formal Specification Using Z (Grassroots) By David Lightfoot
Formal Specification Using Z (Grassroots) By David Lightfoot

$10.34

View Details
INTRODUCTION FORMAL SPECIFICATION AND Z (2ND EDITION) By Ben Potter & Mint
INTRODUCTION FORMAL SPECIFICATION AND Z (2ND EDITION) By Ben Potter & Mint

$14.95

View Details
FORMAL OBJECT ORIENTED SPECIFICATION USING OBJECT-Z By Roger Duke & Gordon Rose
FORMAL OBJECT ORIENTED SPECIFICATION USING OBJECT-Z By Roger Duke & Gordon Rose

$142.95

View Details
Specifications Hign-concerned Chemical none Display Type Roman Numeral Case Shap
Specifications Hign-concerned Chemical none Display Type Roman Numeral Case Shap

$118.99

View Details
Formal Specification of Programming Languages: A Panoramic Primer (P - VERY GOOD
Formal Specification of Programming Languages: A Panoramic Primer (P - VERY GOOD

$34.87

View Details
NISTIR 7626 Formal Representation of Product Design Specifications for Validatin
NISTIR 7626 Formal Representation of Product Design Specifications for Validatin

$22.97

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

$11.55

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 (Computer Science S.)
Formal Specification Using Z (Computer Science S.)

$5.43

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

$32.71

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 Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken
Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken

$125.44

View Details
Formal Specification: Techniques and ... by Nissanke, Nimal Paperback / softback
Formal Specification: Techniques and ... by Nissanke, Nimal Paperback / softback

$333.97

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

$65.69

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

$13.37

View Details
An Introduction to Formal Specification and Z (Prentice-Hall International Serie
An Introduction to Formal Specification and Z (Prentice-Hall International Serie

$4.65

View Details
Thomson - Validation and Verification of Formal Specifications in Obje - T555z
Thomson - Validation and Verification of Formal Specifications in Obje - T555z

$76.62

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

$127.24

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

$4.28

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
Financial Audit Systems Modeling- A Formal Specifications Approach by J.A. Akiny
Financial Audit Systems Modeling- A Formal Specifications Approach by J.A. Akiny

$66.72

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

$70.04

View Details
NISTIR 7626 Formal Representation of Product Design Specifications for Validatin
NISTIR 7626 Formal Representation of Product Design Specifications for Validatin

$30.84

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

$4.27

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

$129.99

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 Specification and Design by L.M.G. Feijs (English) Paperback Book
Formal Specification and Design by L.M.G. Feijs (English) Paperback Book

$73.18

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
Women Printed Regular Kurta with Palllzo & With Dupatta
Women Printed Regular Kurta with Palllzo & With Dupatta

$44.70

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

$198.17

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

$22.02

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

$44.89

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

$179.99

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.39

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

$67.04

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
Specification and Transformation of Programs : A Formal Approach to Software ...
Specification and Transformation of Programs : A Formal Approach to Software ...

$64.23

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

$161.99

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

$67.23

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

$131.58

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.71

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

$67.91

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

$242.41

View Details
Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall
Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall

$61.00

View Details
Introduction to Discrete Mathematics, Formal System Specification, and Z, Pap...
Introduction to Discrete Mathematics, Formal System Specification, and Z, Pap...

$101.14

View Details
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z

$68.71

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.

$196.23

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

$71.47

View Details
ProEco Acrylic 36" Formal Wall Fountain Spillway Weir - 3000 GPH Max Flow
ProEco Acrylic 36" Formal Wall Fountain Spillway Weir - 3000 GPH Max Flow

$330.73

View Details
Formal Specification Using Z (Computer Science),David Lightfoot
Formal Specification Using Z (Computer Science),David Lightfoot

$3.17

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

$67.04

View Details
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification

$21.72

View Details
Women Embroidered Regular Kurta with Pant & With Dupatta
Women Embroidered Regular Kurta with Pant & With Dupatta

$44.70

View Details
Women Embroidered Regular Kurta with Pant & With Dupatta
Women Embroidered Regular Kurta with Pant & With Dupatta

$44.70

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

$197.29

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

$67.04

View Details
Oil Rubbed Bronze Finish Olivett Formal Spillway Brass Accent Wall Spout - WSO-O
Oil Rubbed Bronze Finish Olivett Formal Spillway Brass Accent Wall Spout - WSO-O

$179.99

View Details
Foundations of Algebraic Specification and Formal Software De... - 9783642173356
Foundations of Algebraic Specification and Formal Software De... - 9783642173356

$100.32

View Details
Women Embroidered Regular Kurta with Pant & With Dupatta
Women Embroidered Regular Kurta with Pant & With Dupatta

$44.70

View Details
Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall
Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall

$99.98

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.94

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.62

View Details
Zum '98 : The Z Formal Specification Notation, Paperback by Bowen, Jonathan P...
Zum '98 : The Z Formal Specification Notation, Paperback by Bowen, Jonathan P...

$68.70

View Details
Women Embroidered Regular Kurta with Pant & With Dupatta
Women Embroidered Regular Kurta with Pant & With Dupatta

$44.70

View Details
Budkowski - Formal Description Techniques and Protocol Specification - S555z
Budkowski - Formal Description Techniques and Protocol Specification - S555z

$244.51

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

$70.98

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.78

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
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

$179.99

View Details
Women Embroidered Regular Kurta with Palazzos & With Dupatta
Women Embroidered Regular Kurta with Palazzos & With Dupatta

$44.70

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

$147.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+*

$110.75

View Details
Introduction Formal Specification And Z (2nd Edition) - Paperback - GOOD
Introduction Formal Specification And Z (2nd Edition) - Paperback - GOOD

$8.34

View Details

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