Zum Inhalt springen MacMillan, Kenneth L. [VerfasserIn] ; McMillan, Kenneth L. [Sonstige Person, Familie und Körperschaft] Symbolic model checking Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston [u.a.]: Kluwer Academic, 1993
MacMillan, Kenneth L. [VerfasserIn] ; McMillan, Kenneth L. [Sonstige Person, Familie und Körperschaft] Symbolic model checking Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston [u.a.]: Kluwer Academic, 1993
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (1) Wert ausschließen Technik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet MacMillan, Kenneth L. (1) Wert ausschließen McMillan, Kenneth L. (1) Wert ausschließen zeige weitere weniger zeigen