Modern Formal Methods and Applications

Materias

• Formal methods (Computer science)
• Industrial applications
• Logic design
• System design

Ediciones (3)

• Modern Formal Methods and Applications (2010)

  Gabbar Hossam A · ISBN 9789048170791

• Modern Formal Methods and Applications (2006)

  Springer London, Limited · inglés · ISBN 9781402042232

• Modern Formal Methods and Applications (2006)

  Springer · inglés · ISBN 9781402042225

Más obras de Hossam A. Gabbar