formal-specification

You May Like

Formal Specification of Advanced AI Architectures
Formal Specification of Advanced AI Architectures

$9.81

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

$5.74

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 using Z By David Lightfoot
Formal specification using Z By David Lightfoot

$13.78

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
Formal Specification and Verification of Digital Systems by George Milne (1994,
Formal Specification and Verification of Digital Systems by George Milne (1994,

$15.00

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

$7.45

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
Introduction Formal Specification And Z (2nd Edition) - Paperback - GOOD
Introduction Formal Specification And Z (2nd Edition) - Paperback - GOOD

$8.34

View Details
An Introduction to Discrete Mathematics, Formal System Specification, and - GOOD
An Introduction to Discrete Mathematics, Formal System Specification, and - GOOD

$12.12

View Details
Introduction Formal Specification And Z (2nd Edition) By Ben Pot
Introduction Formal Specification And Z (2nd Edition) By Ben Pot

$13.41

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

$134.16

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

$65.13

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

$11.55

View Details
An Introduction to Formal Specification a... by Till, David Paperback / softback
An Introduction to Formal Specification a... by Till, David Paperback / softback

$9.34

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
Formal Specification of Programming Languages: A Panoramic Primer
Formal Specification of Programming Languages: A Panoramic Primer

$23.37

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

$10.82

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
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: Techniques and Applications by Nimal Nissanke: New
Formal Specification: Techniques and Applications by Nimal Nissanke: New

$63.89

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 Using Z: A Modelling Approach, , Good Condition, ISBN 18503
Formal Specification Using Z: A Modelling Approach, , Good Condition, ISBN 18503

$5.03

View Details
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
Formal Specification Using Z (Grassroots) By David Lightfoot
Formal Specification Using Z (Grassroots) By David Lightfoot

$10.34

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

$174.49

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

$94.07

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 Description Techniques And Protocol Specification, Testing And Verif...
Formal Description Techniques And Protocol Specification, Testing And Verif...

$205.16

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

$94.23

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

$13.99

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

$4.65

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

$15.95

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
Larch: Languages and Tools for Formal Specification - 9781461276364
Larch: Languages and Tools for Formal Specification - 9781461276364

$47.21

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

$68.72

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

$13.99

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

$123.68

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

$25.09

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 Specification and Synthesis of Procedural Controllers for Process Systems
Formal Specification and Synthesis of Procedural Controllers for Process Systems

$65.99

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

$35.28

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

$205.01

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

$68.72

View Details
Real-Time Systems: Formal Specification and Autom... by Dierks, Henning Hardback
Real-Time Systems: Formal Specification and Autom... by Dierks, Henning Hardback

$9.11

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

$145.55

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

$114.68

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

$290.22

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

$124.90

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

$67.64

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

$17.53

View Details
ZB 2000: Formal Specification and Development in Z and B: First International Co
ZB 2000: Formal Specification and Development in Z and B: First International Co

$67.87

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

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.

$39.95

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

$123.86

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

$3.35

View Details
Garland - Larch  Languages and Tools for Formal Specification - New p - S9000z
Garland - Larch Languages and Tools for Formal Specification - New p - S9000z

$68.72

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
ZB 2003: Formal Specification and Development in Z and B: Third International Co
ZB 2003: Formal Specification and Development in Z and B: Third International Co

$127.53

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

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

$187.40

View Details
ZB 2005: Formal Specification and Development in Z and B: 4th International Conf
ZB 2005: Formal Specification and Development in Z and B: 4th International Conf

$127.09

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

$34.88

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

$130.34

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

$4.50

View Details
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf

$69.14

View Details
Formal Specification using Z (Grassroots),David Lightfoot
Formal Specification using Z (Grassroots),David Lightfoot

$3.19

View Details
Software Engineering: Specification, Implementation, Verification
Software Engineering: Specification, Implementation, Verification

$77.20

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 Specification using Z by David Lightfoot (Paperback, 2000) Used Good
Formal Specification using Z by David Lightfoot (Paperback, 2000) Used Good

$9.03

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
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
Zum '98 : The Z Formal Specification Notation, Paperback by Bowen, Jonathan P...
Zum '98 : The Z Formal Specification Notation, Paperback by Bowen, Jonathan P...

$67.62

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

$67.62

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
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
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
Larch: Languages and Tools for Formal Specification by John V. Guttag (English)
Larch: Languages and Tools for Formal Specification by John V. Guttag (English)

$66.79

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

$5.56

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

$186.58

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

$174.50

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