Specifying systems : the TLA+ language and tools for hardware and software engineers

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Boston, Mass. : Addison-Wesley , 2002, c2003
Omfang	XVII, 364 s. : fig.
Emner	Computer systems - Specifications Logic, Symbolic and mathematical System design Matematisk logikk Vis mer... Systemspesifikasjon (Databehandling) Systemutvikling (Databehandling)
ISBN	032114306X

Biblioteksøk