Pay in 4 interest-free payments of $18.95 Learn more
Ships within 48 hours · Estimated delivery Oct 9 - Oct 14
and the evidence also seems to point in that direction
Suitable for NT2 students from level A1 to C2 who want to improve their language skills for education
Target audience: Suitable for all audiences
sales methods
Thanks to a step-by-step language presentation and structured exercises
Program Proofs Klantenservice and the evidence also seemsProgram Proofs van K. Rustan M. Leino is een studieboek dat diepgaand ingaat op formele methoden voor het bewijzen van programma eigenschappen. Deze uitgave, geschikt voor onderzoekers en gevorderde studenten in software engineering, biedt concrete inzichten in theoretische aspecten van program proofs. Productspecificaties Auteur: K. Rustan M. Leino Uitgever: MIT Press Ltd Imprint: MIT Press Verschijningsdatum: 2023 03 07 Aantal pagina's: 496 ISBN:
