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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540643562 - 18. mars 1998
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
$ 56,49

Bestillingsvarer

Forventes levert 10. - 20. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 18. mars 1998
ISBN13 9783540643562
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 461
Mål 155 × 233 × 24 mm   ·   675 g
Språk Tysk  
Redaktør Steffen, Bernhard
Vis alle

Mer med J Van Leeuwen

Se alt med J Van Leeuwen ( f.eks. Pocketbok )