Krzysztof R. Apt, Ernst-Rudiger Olderog Programmverifikation

Sequentielle, parallele und verteilte Programme

Price for Eshop: 704 Kč (€ 28.2)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2013

EAN/ISBN13: 978-3-642-57947-9

ISBN10: 3-642-57947-7

You can ask us about this book and we'll send an answer to your e-mail.