Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 9783540600459
Price: 50.02 EUR
Availability: InStock

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Autor: Pierre Wolper

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.02 €

This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat...

Informácie o knihe

Autor

Pierre Wolper

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1995

Stránok

456

EAN

9783540600459

ISBN

3540600450

Enbook ID

05274476

Vydavateľ

Springer, Berlin

Hmotnosť

622

Rozmery

156 x 234 x 23

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež