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!

Beschreibung
Beschreibung:	xvii, 294 Seiten Illustrationen, Diagramme
ISBN:	9781498775328 978-1-4987-7532-8 9780367225704 978-0-367-22570-4