Koop 10 boeken voor 10 € hier!
Bookbot

Symbolic methods applied to formal verification and synthesis in embedded systems design

Parameters

  • 158bladzijden
  • 6 uur lezen

Een boek kopen

Symbolic methods applied to formal verification and synthesis in embedded systems design, Karsten Strehl

Taal
Jaar van publicatie
2000
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief