Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed - W R Cleaveland - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540657033 - 10. marts 1999
Ved uoverensstemmelse mellem cover og titel gælder titel

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed

W R Cleaveland

Pris
CA$ 96,86

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 19. aug.

Vores kunder siger:

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

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed

This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.

468 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 10. marts 1999
ISBN13 9783540657033
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 468
Mål 156 × 234 × 23 mm   ·   648 g
Sprog Tysk  
Klipper/redaktør Cleaveland, W. Rance

Se alt med W R Cleaveland ( f.eks. Paperback Bog )