Uw privacy-instellingen

Door 'Alles accepteren' te selecteren, geef je Rakuten Kobo en hun partners toestemming om cookies, tracking en vergelijkbare technologieën te gebruiken om je persoonsgegevens te verzamelen en te verwerken voor de volgende doeleinden: om de website en Kobo-diensten te beheren en ervoor te zorgen dat deze goed werken, om je gepersonaliseerde content op Kobo en advertenties voor Kobo op andere platforms te bieden en om analyses uit te voeren en te analyseren hoe onze website en diensten worden gebruikt. Klik hieronder anders op 'Weigeren' om alle niet-essentiële doeleinden te weigeren of bekijk de 'Privacy-instellingen' om je voorkeuren voor elk doel te beheren. Lees voor meer informatie ons Privacybeleid

Bekijk privacy-instellingen
Spring naar hoofdinhoud
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings eBook door

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

Synopsis

Categorieën

Over dit boek

  • Taal:English
  • ISBN:9783319254234
  • Lanceringsdatum:30 nov 2015
  • Uitgever:Springer International Publishing
  • Imprint:Springer
  • Bestandsformaat:EPUB2
  • Bestandsgrootte:8.35 MB
  • Downloadopties:EPUB2 (Adobe DRM)

In deze serie

Deze lijst overslaan

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