Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Computer Aided Verification
  • Bestand

Treffer: Computer Aided Verification

Titel:
Computer Aided Verification
Beteiligt:
Lahiri, Shuvendu K. (Verfasser); Wang, Chao (Verfasser)
Veröffent­licht:
[Erscheinungsort nicht ermittelbar] : Springer Nature, 2020
Vertrieb:
The Hague : OAPEN Foundation
Umfang:
1 Online-Ressource (669 pages)
Format:
E-Book
Sprache:
Englisch
ISBN:
9783030532888 (Sekundärausgabe)

Zusatz-Informationen

Zusatz-Funktionen