The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II
Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Cavalcanti, Ana (HerausgeberIn), Baxter, James (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cham Springer Nature Switzerland 2024
Cham Springer
Ausgabe:1st ed. 2024
Schriftenreihe:Lecture Notes in Computer Science 14781
Schlagworte:
Online-Zugang:DE-522
DE-634
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers
Beschreibung:1 Online-Ressource (XIV, 316 p. 80 illus., 47 illus. in color)
ISBN:9783031666735
ISSN:1611-3349
DOI:10.1007/978-3-031-66673-5