• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: Automated Theorem Proving in Software Engineering 9783540679899

Automated Theorem Proving in Software Engineering

  • Auteur(s) Johann M. Schumann
  • Uitgever Gepubliceerd door Springer Copyright © 2001
  • "ISBN-13 9783540679899"
  • Indeling Reflowable 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

Automated Theorem Proving in Software Engineering is geschreven door Johann M. Schumann en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Automated Theorem Proving in Software Engineering zijn 9783662226469, 3662226464 en de ISBN's voor gedrukt materiaal zijn 9783540679899, 3540679898. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven