Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

EnglishPaperback / softback
Springer, Berlin
EAN: 9783642243714
On order
Delivery on Tuesday, 21. of July 2026
€57.83
Common price €64.25
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available
EAN 9783642243714
ISBN 3642243711
Binding Paperback / softback
Publisher Springer, Berlin
Publication date September 21, 2011
Pages 532
Language English
Dimensions 235 x 155
Country Germany
Readership Professional & Scholarly
Illustrations XIV, 532 p.
Editors Bultan Tevfik; Hsiung Pao-Ann
Series Lecture Notes in Computer Science
Manufacturer information
The manufacturer's contact information can be found here.