Arama Sonuçları

1

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

2

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /

Baskı/Yayın Bilgisi 2016

Available in Springer Computer Science eBooks 2016 English/International.

Elektronik Ekitap

3

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

Available in Springer Computer Science eBooks 2010 English/International.

Elektronik Ekitap

4

Temporal Logic and State Systems

Temporal Logic and State Systems

Yazar: Kröger, Fred., Kröger, Fred., Merz, Stephan.
Baskı/Yayın Bilgisi 2008

Available in Springer Computer Science eBooks 2008 English/International.

Elektronik Ekitap