-
1Formal Methods and Models for System Design [electronic resource] : A System Level Perspective / Formal Methods and Models for System Design [electronic resource] : A System Level Perspective /by Gupta, Rajesh. editor., Guernic, Paul Le. editor., Shukla, Sandeep Kumar. editor., Talpin, Jean-Pierre. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
2Formal Methods and Models for System Design [electronic resource] : A System Level Perspective / Formal Methods and Models for System Design [electronic resource] : A System Level Perspective /by Gupta, Rajesh. editor., Guernic, Paul Le. editor., Shukla, Sandeep Kumar. editor., Talpin, Jean-Pierre. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS