Treffer: An introduction to practical formal methods using temporal logic

Titel:

Beteiligt:

Veröffentlicht:

Chichester, West Sussex, U.K. : J. Wiley & Sons, c2011

Vertrieb:

Sebastopol, CA : O'Reilly Media Inc.

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Safari Tech Books Online

Schlagworte:

ISBN:

9780470027882

Zusatz-Informationen