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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540627906 - 20. marts 1997
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
Kč 1.459

Bestilles fra fjernlager

Forventes klar til forsendelse 31. okt. - 6. nov.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 20. marts 1997
ISBN13 9783540627906
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 447
Mål 156 × 234 × 23 mm   ·   625 g
Sprog Tysk  
Klipper/redaktør Brinksma, Ed.
Vis alle

Mere med Ed Brinksma

Se alt med Ed Brinksma ( f.eks. Paperback Bog )