Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
1995 Workshop on Industrial-Strength Formal Specification Techniques (Paperback)
  • 1995 Workshop on Industrial-Strength Formal Specification Techniques (Paperback)
zoom

1995 Workshop on Industrial-Strength Formal Specification Techniques (Paperback)

£45.50
Paperback 172 Pages / Published: 01/01/1995
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Thirteen papers presented at the title workshop, held in April 1995, in Boca Raton, Fla., whose objective was the analysis and synthesis of industrial applications of formal software development methods. Topics include: formal verification of the AAMP5 microprocessor; timing analysis of industrial r

Publisher: IEEE Computer Society Press,U.S.
ISBN: 9780818670053
Number of pages: 172

You may also be interested in...

Engineering Thermodynamics
Added to basket
Biochemistry Demystified
Added to basket
Mechanical Engineering, 3rd ed
Added to basket
Engineering Mechanics: Statics in SI Units
Added to basket
Lives of Boulton and Watt
Added to basket
507 Mechanical Movements
Added to basket
Schaum's Outline of Heat Transfer
Added to basket
Electric Motors and Drives
Added to basket
Invention by Design
Added to basket
A Dictionary of Mechanical Engineering
Added to basket
Engineers' Data Book
Added to basket
Structural Mechanics: Worked Examples
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.