Peter Csaba �lveczky

Beliebte Artikel von Peter Csaba �lveczky

Alle Angebote anzeigen

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
�lveczky, Peter Csaba

Artikelpreise ab

EUR 67,49

12 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Logic, Rewriting, and Concurrency: Essays Dedicated to Jos� Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues, Band 9200)

Artikelpreise ab

EUR 46,22

17 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings

Artikelpreise ab

EUR 46,22

9 Angebote anzeigen

Entdecken Sie auch
Neu
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... Computer and Information Science, Band 476)

Artikelpreise ab

EUR 46,22

17 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Artikelpreise ab

EUR 46,22

16 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Artikelpreise ab

EUR 46,22

20 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers ... Computer and Information Science, Band 694)

Artikelpreise ab

EUR 46,22

9 Angebote anzeigen

Entdecken Sie auch
Neu
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... Computer and Information Science, Band 596)

Artikelpreise ab

EUR 46,22

17 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch

8 von 9 Titeln werden angezeigt