Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

Gespeichert in:

Personen und Körperschaften: O'Regan, Gerard (VerfasserIn)
Titel: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications/ by Gerard O'Regan
Format: E-Book
Sprache: Englisch
veröffentlicht:
Cham Springer 2017
Gesamtaufnahme: Undergraduate Topics in Computer Science
SpringerLink
Springer eBook Collection
Schlagwörter:
Computer science
Computer software > Reusability
Software engineering
Mathematical logic
Computer science > Mathematics
Computer mathematics
Computer Science
Druckausg.: O'Regan, Gerard, Concise guide to formal methods, Cham : Springer, 2017, xix, 312 Seiten
Quelle: Verbunddaten SWB