Ihre Datenschutzeinstellungen

Indem Sie „Alle akzeptieren“ auswählen, erlauben Sie Rakuten Kobo und seinen Partnern, Cookies, Tracking- und ähnliche Technologien zu verwenden, um Ihre persönlichen Daten zu erfassen und für folgende Zwecke zu verarbeiten: um die Website und die Kobo-Dienste zu betreiben und sicherzustellen, dass sie ordnungsgemäß funktionieren, um Ihnen personalisierte Inhalte auf Kobo und Werbung für Kobo auf anderen Plattformen bereitzustellen und um Analysen zu messen und zu analysieren, wie unsere Website und Dienste genutzt werden. Klicken Sie andernfalls auf „Ablehnen“, um alle nicht zwingend erforderlichen Zwecke abzulehnen, oder rufen Sie „Datenschutzeinstellungen“ auf, um Ihre Einstellungen für jeden Zweck zu verwalten. Für weitere Informationen lesen Sie bitte unsere Datenschutzrichtlinie.

Datenschutzeinstellungen
Zum Hauptinhalt springen
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings eBook nach

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

eBook,eBook
Michael Butler,Sylvain Conchon,Fatiha Zaïdi
Springer Nature Proceedings Computer Science

Kurzbeschreibung

Kategorien

Zu diesem Buch

  • Sprache:English
  • ISBN:9783319254234
  • Erscheinungsdatum:30. Nov. 2015
  • Herausgeber:Springer International Publishing
  • Imprint:Springer
  • Dateiformat:EPUB2
  • Dateigröße:8.35 MB
  • Downloadoptionen:EPUB2 (Adobe DRM)

In dieser Reihe

Diese Liste überspringen

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Alexander Raschke,Thai Son Hoang,Klaus Reichl

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Miklos Biro,Klaus-Dieter Schewe,Atif Mashkoor