Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding - J Van Leeuwen - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540643562 - 18. marts 1998
Ved uoverensstemmelse mellem cover og titel gælder titel

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding

J Van Leeuwen

Pris
Íkr 8.511,25

Bestilles fra fjernlager

Forventes klar til forsendelse 23. - 29. okt.

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: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding

Taken from TACAS'98, this volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems.

461 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 18. marts 1998
ISBN13 9783540643562
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 461
Mål 155 × 233 × 24 mm   ·   675 g
Sprog Tysk  
Klipper/redaktør Steffen, Bernhard
Vis alle

Mere med J Van Leeuwen

Se alt med J Van Leeuwen ( f.eks. Paperback Bog )