Vi bøger
Levering: 1 - 2 hverdage

Tools and Algorithms for the Construction and Analysis of Systems - Bog

- 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Bag om Tools and Algorithms for the Construction and Analysis of Systems

Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642120015
  • Indbinding:
  • Paperback
  • Sideantal:
  • 468
  • Udgivet:
  • 17. marts 2010
  • Størrelse:
  • 234x155x25 mm.
  • Vægt:
  • 741 g.
  • 8-11 hverdage.
  • 16. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Tools and Algorithms for the Construction and Analysis of Systems

Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Brugerbedømmelser af Tools and Algorithms for the Construction and Analysis of Systems



Find lignende bøger
Bogen Tools and Algorithms for the Construction and Analysis of Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.