Practical Formal Software Engineering

Name: Practical Formal Software Engineering
SKU: 9780521879033
Price: 45.98 USD
Availability: InStock

Bruce Ian Mills

$116.00

$45.98

Adding to cart… The item has been added

Author

Bruce Ian Mills

Publish Date

2009-01-19

Subtitle

Wanting the Software You Get

Book Type

Hardcover

Number of Pages

374

Publisher Name

ISBN-10

0521879035

ISBN-13

9780521879033

citemno

112873

SKU

9780521879033

Formal Verification of Control System Software

$67.00

$25.98

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics...

$67.00

$25.98

$67.00

$25.98

add to cart choose option

Software and Hardware Engineering

$77.00

$45.98

Ideal for use in microprocessor courses in engineering or computer science, Software and Hardware Engineering: Motorola M68HC12 provides an in-depth, hands-on introduction to the architecture and...

$77.00

$45.98

$77.00

$45.98

add to cart choose option

Formal Semantics

$73.99

$44.98

$73.99

$44.98

$73.99

$44.98

add to cart choose option

Russian Formalism

$19.00

$16.50

Will be shipped from US. Used books may not include companion materials, may have some shelf wear, may contain highlighting/notes, may not include CDs or access codes. 100% money back guarantee.

$19.00

$16.50

$19.00

$16.50

add to cart choose option

Practical Formal Software Engineering

Bruce Ian Mills

You Might Also Like

Shop by Category

Recommended

About Us

More Information

Practical Formal Software Engineering

Bruce Ian Mills

You Might Also Like

Formal Verification of Control System Software

Software and Hardware Engineering

Formal Semantics

Russian Formalism

Shop by Category

Recommended

About Us

More Information

Compare

Compare

Compare