Cover von Tools and Algorithms for the Construction and Analysis of Systems opens in new tab

Tools and Algorithms for the Construction and Analysis of Systems

International Conference on Tools and Algorithms for the Construction and Analysis of Systems : Held as Part of ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings
2019
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 11427/11429
Media group: GESAMTWERK
Volumes

Content

International Conference on Tools and Algorithms for the Construction and Analysis of Systems <2019, Prague>

Details

Search for this author
Year: 2019
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
Description: 3 Volumes
Series: Lecture notes in computer science : ARCoSS; 11427/11429
Search for this character
Media group: GESAMTWERK