Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science - Ed Brinksma - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540627906 - 20 mars 1997
Si la couverture et le titre ne correspondent pas, le titre est correct.

Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 26 janv. - 3 févr.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Presenting 20 revised papers and five tool demonstrations, this proceedings volume is organized into sections on space-reduction techniques, tool demonstrationgs, logical techniques, verification support, specification and analysis, theorem proving, model checking and applications.

447 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 20 mars 1997
ISBN13 9783540627906
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 447
Dimensions 156 × 234 × 23 mm   ·   625 g
Langue et grammaire Allemand  
Éditeur Brinksma, Ed.

Plus par Ed Brinksma

Afficher tout

Voir tous les Ed Brinksma ( par ex. Paperback Book )