Details
- Autor(en) / Beteiligte
- Titel
- The calculus of computation : decision procedures with applications to verification
- Ort / Verlag
- Berlin [u.a.] : Springer
- Erscheinungsjahr
- 2007
- Link zu anderen Inhalten
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783540741121, 3540741127OCLC-Nummer: 255687662, 255687662Titel-ID: 990009794560106463
- Format
- XV, 366 S. : 60 graph. Darst.
- Systemstelle
- TVD
- Schlagworte
- Programmverifikation, Korrektheit, Computational logic