JuLib | Books & more - {"Electrons."}

Ask a Librarian

1

Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /

E-Book

Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /

Blazy, Sandrine
2016

Subject (ZB): “...Programming languages (Electronic computers)....”

Full text

2

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /

E-Book

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and...

Chechik, Marsha
2016

Subject (ZB): “...Programming languages (Electronic computers)....”

Full text

Select all titles on this page