Formal methods in computer science

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wang, Jiacun (VerfasserIn)
Weitere Verfasser:	Tepfenhart, William (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boca Raton, FL, London, New York CRC Press, Taylor & Francis Group 2020
Schriftenreihe:	Textbooks in mathematics
Schlagworte:	Formal methods (Computer science)
Online Zugang:	Inhaltsverzeichnis Review
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!