Kommentarer: An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.

Summary goes here

Sparad:

Bibliografiska uppgifter
Materialtyp:	Bok
Språk:	engelska
Ämnen:	Computer programming. Computer programs. Equations of state. Specifications. computer programming. software. specifications. Computer programming Computer programs Equations of state Specifications User requirements. Software development tools. Program verification (Computers) Software reliability. Programmation (Informatique) Logiciels. Équations d'état. Spécifications. Software technical reports. Technical reports Technical reports. Rapports techniques.
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Lägg till första kommentaren!