We have over a million books in stock

Bookbot
The book is currently out of stock

Einführung in die Programmverifikation

Authors

Parameters

ISBN
9783411159710
Publisher
BI-Wiss.-Verl.

Categories

Book variant

1992

Book purchase

The book is currently out of stock.