Formal analysis: an introduction
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Gan, Xiao-Xiong (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Berlin ; Boston De Gruyter [2021]
Schriftenreihe:De Gruyter studies in mathematics volume 80
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:XII, 323 Seiten 24 cm x 17 cm
ISBN:9783110597851
3110597853

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis