Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction

Buy Now

FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Paperback, 2015 ed.) Loot Price: R3,440

Discovery Miles 34 400

Repayment Terms: R322 pm x 12*

Add to cart

FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Paperback, 2015 ed.):...

FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Paperback, 2015 ed.)

Nikolaj Bjorner, Frank De Boer

Series: Lecture Notes in Computer Science, 9109

(sign in to rate)

Loot Price R3,440 Discovery Miles 34 400 | Repayment Terms: R322 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 9109
Release date:	May 2015
First published:	2015
Editors:	Nikolaj Bjorner • Frank De Boer
Dimensions:	235 x 155 x 32mm (L x W x T)
Format:	Paperback
Pages:	610
Edition:	2015 ed.
ISBN-13:	978-3-319-19248-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction Promotions
LSN:	3-319-19248-5
Barcode:	9783319192482