Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I.

by Groote, Jan Friso | Larsen, Kim Guldstrand.

Series: Lecture Notes in Computer Science SerMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Wie greife ich auf das E-Book zu? | Click to View Availability: No items available.

Add to cart
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II.

by Groote, Jan Friso | Larsen, Kim Guldstrand.

Series: Lecture Notes in Computer Science SerMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Wie greife ich auf das E-Book zu? | Click to View Availability: No items available.

Add to cart
Pages

Powered by Koha