Kundeservice Saxo Neo

Log ind
Opret profil

Saxo Access
BookClub
Om os

Saxo Access
BookClub
Om os
Dansk
Kundeservice
Saxo Neo

Casteran, Pierre

Vis søgefilter

Pris

Sprog

Udgivelsesdato

Format

Sortering

Vis mig kun

BookClub ready

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Casteran, Pierre

656,09 DKK

Saxo.com A/S (CVR: 29197849)

www.saxo.com
Cookie policy
Terms and conditions

Email: info@saxoaccess.com

Telefon: (+45) 38 15 05 10

Text, graphics, images, sound, and other content on this website are protected by copyright law. Saxo.com A/S reserves all rights to the content, on its own behalf and on behalf of publishers, including the right to use the content for text and data mining, as per copyright law §11b and the DSM Directive's article 4.