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 > Computer programming

Buy Now

Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Paperback, 2007 ed.) Loot Price: R3,240

Discovery Miles 32 400

Repayment Terms: R304 pm x 12*

Add to cart

Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007 Held as Part of...

Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Paperback, 2007 ed.)

Orna Grumberg, Michael Huth

Series: Lecture Notes in Computer Science, 4424

(sign in to rate)

Loot Price R3,240 Discovery Miles 32 400 | Repayment Terms: R304 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 4424
Release date:	March 2007
First published:	2007
Editors:	Orna Grumberg • Michael Huth
Dimensions:	229 x 152 x 38mm (L x W x T)
Format:	Paperback
Pages:	740
Edition:	2007 ed.
ISBN-13:	978-3-540-71208-4
Categories:	Books > Computing & IT > Computer programming > General Promotions
LSN:	3-540-71208-9
Barcode:	9783540712084