Computing Abstract Models for Verifying Reactive Systems
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Thomas Firley
Themen in »Computing Abstract Models for Verifying Reactive Systems«
Informatik abstraction slicing statecharts verification
Stimmen zu »Computing Abstract Models for Verifying Reactive Systems«
Details
ISBN: 9783832243357
Verlag: Shaker
Erscheinung: 08.2005