BoekenBalie maakt van tweedehands jouw eerste keuze. Met een Trustscore van 4,8 (excellent) en 30 dagen retour garantie maken we dat iedere dag waar.

Bestel direct op onze website!

Titel: Programma-Algebra
Auteur: I. Bethke
ISBN: 9789056292799
Conditie: Beetje gebruikt

Dit boek behandelt de wiskundige grondslagen van programmeren en formele methoden. Programma-Algebra biedt een rigoureuze benadering van hoe programma's kunnen worden geanalyseerd en geverifieerd.


Programma-Algebra
Programma-Algebra presenteert algebraïsche structuren en technieken die gebruikt kunnen worden om de correctheid van computerprogramma's te bewijzen en hun gedrag formeel te specificeren.


I. Bethke
I. Bethke heeft Programma-Algebra geschreven als een diepgaande verkenning van de theoretische fundamenten van programmeren, waarbij formele methoden centraal staan in het begrijpen van programmagedrag.


Deze omschrijving is met behulp van AI gegenereerd.

Waarom je bij BoekenBalie moet zijn voor al je tweedehands boeken:

• Bestel je voor 15:00 uur? Dan vliegt het dezelfde dag nog jouw kant op!
• Meer dan 400.000 tweedehands boeken om uit te kiezen
• We checken alle boeken eigenhandig
• Vanaf 40 euro of bij 4 boeken is de verzending op onze rekening
• 30 dagen retourgarantie