Bibliotheek.nl

Cookies op deze website

Met cookies houden we informatie bij over je bezoek. We verzamelen deze informatie om de gebruikservaring te verbeteren. We meten het effect van advertenties via Google. Je kunt je toestemming altijd weer intrekken.

Ga direct naar de inhoud, het zoekveld of het hoofdmenu.

  • home
  • collectie
  • in de Bibliotheek
    • nu in de Bibliotheek
    • online cursussen
    • oefenen en hulp
  • jeugd & jongeren
  • word lid


Herman Hendrik ten Cate Towards formal specification and proof of finite element software within the ATES development system

Gedrukt boek

Inhoud
Non-fictie
Taal
Engels

Verschenen
1991
ISBN
9090043373
Kenmerken
236 pagina's
Aantekening
Proefschrift Enschede
Lit. opg.: p. 230-233. - Met index en samenvatting in het Nederlands
Auteursnaam op omslag: Eric ten Cate

Je leent dit boek bij je eigen Bibliotheek. Vul de vier cijfers van je postcode in en vind je Bibliotheek.

Kranten­artikelen

Bekijk in Delpher

Praat mee op

  • Facebook
  • Twitter
  • Pinterest
  • Instagram

de Bibliotheek

  • Lid worden
  • Bibliotheek zoeken

Over deze site

  • Over Bibliotheek.nl
  • Contact
  • Website­voorwaarden
  • Toegankelijkheid
  • Verantwoordelijkheid
  • Cookies
  • Home
    • home
    • collectie
      • nu in de Bibliotheek
      • online cursussen
      • oefenen en hulp
    • jeugd & jongeren
    • word lid
  • Zoeken