De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification

af John V. Guttag, James J. Horning

indgår i Monographs in Computer Science serien

Larch: Languages and Tools for Formal Specification af John V. Guttag
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.
  • 2. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om John V. Guttag

Vis alle bøger af John V. Guttag

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



Andre købte også..
Find lignende bøger
Bogen Larch: Languages and Tools for Formal Specification findes i følgende kategorier: