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

Pris

SEK 759

Beställningsvara

Förväntad leverans 20 - 30 maj

Våra kunder säger:

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

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	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	21 juni 1995
ISBN13	9783540600459
Utgivare	Springer-Verlag Berlin and Heidelberg Gm
Antal sidor	456
Mått	156 × 234 × 23 mm · 648 g
Redaktör	Wolper, Pierre

Visa alla

Fler produkter med G Goos

Se alt med G Goos ( t.ex. Pocketbok )