Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (International Conference, Cav '95, Liege, Belguim, July 3-5, 1995 - Proceedings) - Lecture Notes in Computer Science

G Goos

Cena

£ 53,49

Zamówione z odległego magazynu

Przewidywana dostawa 3 - 12 gru

Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów

Najwyższa ocena na Trustpilot

Dodaj do swojej listy życzeń iMusic

Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (International Conference, Cav '95, Liege, Belguim, July 3-5, 1995 - Proceedings) - Lecture Notes in Computer Science

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

456 pages, biography

Media	Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem)
Wydane	21 czerwca 1995
ISBN13	9783540600459
Wydawcy	Springer-Verlag Berlin and Heidelberg Gm
Strony	456
Wymiary	156 × 234 × 23 mm · 648 g
Redaktor	Wolper, Pierre

Pokaż wszystko

Więcej od G Goos

Zobacz wszystko od G Goos ( np. Paperback Book )