Programmverifikation

Programmverifikation

GermanEbook
Apt, Krzysztof R.
Springer Berlin Heidelberg
EAN: 9783642579479
Available online
CZK 616
Common price CZK 684
Discount 10%
pc
EAN 9783642579479
ISBN 3642579477
Binding Ebook
Publisher Springer Berlin Heidelberg
Publication date March 7, 2013
Language German
Country Germany
Authors Apt, Krzysztof R.; Olderog, Ernst-Rudiger
Series Springer-Lehrbuch