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 > Software engineering

Buy Now

Logics of Specification Languages (Paperback, Softcover reprint of hardcover 1st ed. 2008) Loot Price: R4,451

Discovery Miles 44 510

Repayment Terms: R417 pm x 12*

Add to cart

Logics of Specification Languages (Paperback, Softcover reprint of hardcover 1st ed. 2008): Dines Bjorner, Martin C. Henson

Logics of Specification Languages (Paperback, Softcover reprint of hardcover 1st ed. 2008)

Dines Bjorner, Martin C. Henson

Series: Monographs in Theoretical Computer Science. An EATCS Series

(sign in to rate)

Loot Price R4,451 Discovery Miles 44 510 | Repayment Terms: R417 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.

In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Monographs in Theoretical Computer Science. An EATCS Series
Release date:	November 2010
First published:	2008
Editors:	Dines Bjorner • Martin C. Henson
Dimensions:	235 x 155 x 33mm (L x W x T)
Format:	Paperback
Pages:	624
Edition:	Softcover reprint of hardcover 1st ed. 2008
ISBN-13:	978-3-642-09345-6
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 Promotions
LSN:	3-642-09345-0
Barcode:	9783642093456