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

DKK 571

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 21. maj.

Vores kunder siger:

14 dages fuld returret

Topvurdering på Trustpilot

Tilføj til din iMusic ønskeseddel

Eller

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

Medie	Bøger Paperback Bog (Bog med blødt omslag og limet ryg)
Udgivet	21. juni 1995
ISBN13	9783540600459
Forlag	Springer-Verlag Berlin and Heidelberg Gm
Antal sider	456
Mål	156 × 234 × 23 mm · 648 g
Klipper/redaktør	Wolper, Pierre

Vis alle

Mere med G Goos

Se alt med G Goos ( f.eks. Paperback Bog )