Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
SKU: 20886616
Price: 158.00 NZD
Availability: InStock

14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$158.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.50 with Afterpay Learn more

6 weekly interest-free payments of $26.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 18-28 June using International Courier

Description

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.

Release date NZ

September 19th, 2012

Audience

Professional & Vocational

Contributors

Edited by Kenji Taguchi
Edited by Toshiaki Aoki

Illustrations

131 Illustrations, black and white; XIV, 512 p. 131 illus.

Pages

512

Series

Lecture Notes in Computer Science,

Dimensions

155x235x27

ISBN-13

9783642342806

Product ID

20886616

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Formal Methods and Software Engineering

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*