• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: Formal Methods for Hardware Verification 1st edition 9783540343042

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

1st Editie

  • Auteur(s) Marco Bernardo; ‎Alessandro Cimatti
  • Uitgever Gepubliceerd door Springer Copyright © 2006
  • ISBN-13 9783540343042
  • 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

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures 1st Editie is geschreven door Marco Bernardo; ‎Alessandro Cimatti en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Formal Methods for Hardware Verification zijn 9783540343059, 3540343059 en de ISBN's voor gedrukt materiaal zijn 9783540343042, 3540343040. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven