1
Rewriting Logic and Its Applications [E-Book] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
2
Trends in Functional Programming [E-Book] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
3
NASA Formal Methods [E-Book] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
4
Programming Languages [E-Book] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
5
Functional and Logic Programming [E-Book] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
King, Andy
2016
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
6
Verified Software: Theories, Tools, and Experiments [E-Book] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
7
Formal Methods and Software Engineering [E-Book] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
8
Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
9
Tests and Proofs [E-Book] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
10
Software Engineering and Formal Methods [E-Book] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
11
Formal Aspects of Component Software [E-Book] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
12
Formal Methods and Software Engineering [E-Book] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
13
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
14
Runtime Verification [E-Book] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:

Narrow Search Results