• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: Theoretical and Practical Aspects of SPIN Model Checking 1st edition 9783540664994

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

1st Editie

  • Auteur(s) Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
  • Uitgever Gepubliceerd door Springer Copyright © 1999
  • ISBN-13 9783540664994
  • Indeling Vaste lay-out

eBook

Licentie eTextbook
‌
€16.35 EUR
‌‌
‌

  • Studietools

    Ingebouwde studiehulpmiddelen zoals markeringen en meer

  • Hardop voorlezen

    Luister en lees mee terwijl Bookshelf voorleest

  • Offline toegang

    Altijd en overal toegang tot je eTextbook

  • Algemene zoekfunctie

    Doorzoek de boekinhoud, illustraties en je werkmap

Meer informatie

VitalSource 25+ jaar digitale transformatie

  • 4500 Instelling

  • 230+ Landen en gebieden

  • 10K+ Uitgevers

  • 18M+ Actieve gebruikers

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st Editie is geschreven door Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Theoretical and Practical Aspects of SPIN Model Checking zijn 9783540482345, 3540482342 en de ISBN's voor gedrukt materiaal zijn 9783540664994, 3540664998. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven