Mijn boeken
← Catalogus
Verification techniques for extensions of equality logic
Bahareh Badban

Verification techniques for extensions of equality logic

Bahareh Badban
PaperbackEngels
In het kort
ISBN-13
9789061965350
Uitgever
Centrum voor Wiskunde en Informatica, Stichting
Verschenen
27 augustus 2026
NUR
980 · Informatica algemeen

Lijkt op dit boek

Omslag van Dit is voor iedereen
Dit is voor iedereen
Omslag van DevOps Learning Roadmap
DevOps Learning Roadmap
Omslag van The Swarm
The Swarm
Omslag van De medeplichtige
De medeplichtige
Omslag van De slimme papaga-AI
De slimme papaga-AI
Omslag van De Zwerm: hoe artificial intelligence ontsnapte
De Zwerm: hoe artificial intelligence ontsnapte
Omslag van The Ascent
The Ascent
Omslag van Smart & Zeker
Smart & Zeker
Omslag van Geïntegreerde veiligheid in de 21° eeuw.
Geïntegreerde veiligheid in de 21° eeuw.
Omslag van Toegangscontrole
Toegangscontrole
NSTC 501693563 · CB-relatie 8081155 · Laatste CB-bericht 7817 · Bijgewerkt 28 augustus 2026
Bestel bij bol →
← Catalogus
Verification techniques for extensions of equality logic
Bahareh Badban

Verification techniques for extensions of equality logic

Bahareh Badban
PaperbackEngels
Bestel bij bol →
In het kort
ISBN-13
9789061965350
Uitgever
Centrum voor Wiskunde en Informatica, Stichting
Verschenen
27 augustus 2026
NUR
980 · Informatica algemeen

Lijkt op dit boek

Alles bekijken →
Omslag van Dit is voor iedereen
Dit is voor iedereen
Tim Berners-Lee
Omslag van DevOps Learning Roadmap
DevOps Learning Roadmap
KC Ramo
Omslag van The Swarm
The Swarm
Elias Roos
Omslag van De medeplichtige
De medeplichtige
Elias Roos
Omslag van De slimme papaga-AI
De slimme papaga-AI
Ron Van der Burg
Omslag van De Zwerm: hoe artificial intelligence ontsnapte
De Zwerm: hoe artificial intelligence ontsnapte
Elias Roos
NSTC 501693563 · CB-relatie 8081155 · Laatste CB-bericht 7817 · Bijgewerkt 28 augustus 2026