Udvidet returret til d. 31. januar 2025

Larch: Languages and Tools for Formal Specification - John V. Guttag - Bog

Bag om Larch: Languages and Tools for Formal Specification

It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or formal methods.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781461276364
  • Indbinding:
  • Paperback
  • Sideantal:
  • 250
  • Udgivet:
  • 1. oktober 2011
  • Udgave:
  • 11993
  • Størrelse:
  • 234x156x14 mm.
  • Vægt:
  • 417 g.
  • 8-11 hverdage.
  • 5. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Beskrivelse af Larch: Languages and Tools for Formal Specification

It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or formal methods.

Brugerbedømmelser af Larch: Languages and Tools for Formal Specification



Find lignende bøger
Bogen Larch: Languages and Tools for Formal Specification 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.