Programmverifikation: Sequentielle, parallele und verteilte Programme
Apt, Krzysztof; Olderog, Ernst-Rudiger
€ 50.13
FREE Delivery in Ireland
Description for Programmverifikation: Sequentielle, parallele und verteilte Programme
paperback. Series: Springer-Lehrbuch. BIC Classification: UYD. Dimension: 235 x 155. Weight in Grams: 416.
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer
Language
German
Condition
New
Series
Springer-Lehrbuch
Number of Pages
258
Place of Publication
Berlin, Germany
ISBN
9783540574798
SKU
V9783540574798
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Programmverifikation: Sequentielle, parallele und verteilte Programme