Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

, ,
Hardback Published on: 20/07/2006
£89.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag New York Inc.
  • ISBN: 9780387341552
  • Number of pages: 179
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

High Voltage Engineering Fundamentals
John Kuffel
£89.99
Electrical Machines, Drives and Power Systems
Theodore Wildi
£85.99
Field and Wave Electromagnetics
David Cheng
£69.99
The Field Orientation Principle in Control of Induction Motors
Introduction to Wind Energy Systems
Hermann-Josef Wagner
£79.99
Vector Control of Induction Machines
Benoît Robyns
£129.99
Distribution Switchgear
Stan Stewart
£95.00
Tesla
W. Bernard Carlson
£17.99
Electrical safety guidance: Isolation and earthing diagram
UK Government
£76.60
Schaum's Outline of Basic Electricity, Second Edition
Milton Gussow
£19.99
Electrical Engineering 101
Darren Ashby
£27.99
Permanent Magnet Materials and their Application
Peter Campbell
£90.00
Circuit Design for CMOS VLSI
John P. Uyemura
£44.99
The Homeowner's DIY Guide to Electrical Wiring
David Herres
£25.99
Geometrical Methods for Power Network Analysis
Stefano Bellucci
£44.99
Electronic and Electrical Engineering
Lionel Warnes
£80.00