Home  
Series  
Formal Approaches to Computing and Information Technology (FACIT)
for weekly updates & specials by email

Formal Approaches to Computing and Information Technology (FACIT)

1 to 15 of 15 Results
Sort:
Proof in VDM: A Practitioner’s Guide by Brian Ritchie
Save $33
$138.99
$172.95
Proof in VDM: A Practitioner’s Guide
by Brian Ritchie ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Specification Methods
Save $18
$261.99
$280.95
Software Specification Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Systems, Models and Measures by Agnes Kaposi
Save $42
$138.99
$181.95
Systems, Models and Measures
by Agnes Kaposi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Theory and Practice of Program Development by Derek J. Andrews
Save $41
$138.99
$180.95
A Theory and Practice of Program Development
by Derek J. Andrews ~ Paperback / softback
Available - Usually ships in 3-4 weeks
High-Integrity System Specification and Design by Jonathan P. Bowen
Save $39
$147.99
$187.95
High-Integrity System Specification and Design
by Jonathan P. Bowen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification Case Studies in RAISE
Save $40
$264.99
$305.95
Specification Case Studies in RAISE
Paperback / softback
Available - Usually ships in 3-4 weeks
Proof in VDM: Case Studies
$260.99
Proof in VDM: Case Studies
Paperback / softback
Available - Usually ships in 3-4 weeks
Industrial-Strength Formal Methods in Practice
$401.99
Industrial-Strength Formal Methods in Practice
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Object Technology
Save $16
$263.99
$280.95
Formal Methods and Object Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
The B Language and Method by Kevin Lano
Save $45
$134.99
$180.95
The B Language and Method
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods in Human-Computer Interaction
Save $42
$137.99
$180.95
Formal Methods in Human-Computer Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
On the Refinement Calculus
Save $52
$134.99
$187.95
On the Refinement Calculus
Paperback / softback
Available - Usually ships in 3-4 weeks
Program Development by Refinement
Save $24
$514.99
$539.95
Program Development by Refinement
Paperback / softback
Available - Usually ships in 3-4 weeks
Notations for Software Design by Hans B.M. Jonkers
Save $41
$138.99
$180.95
Notations for Software Design
by Hans B.M. Jonkers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Object-Oriented Development by Kevin Lano
Save $47
$139.99
$187.95
Formal Object-Oriented Development
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks