MAISALG opptil 60% »
Spar
Types for Proofs and Programs
Sendes innen 5-9 virkedager
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.
Andre har også sett på
- Gå til Den fantastiske bus (dansk)s produktsideDen fantastiske bus (dansk)Jakob Martin Stridinnbundet559,-
- Gå til How Not to Be Wrong: The Power of Mathematical Thinkings produktsideHow Not to Be Wrong: The Power of Mathematical ThinkingJordan Ellenbergheftet197,-
- Gå til Ketokokeboken; sunnere, slankere, friskere på 6 ukers produktside54%Ketokokeboken; sunnere, slankere, friskere på 6 ukerSofie Hexeberg, Stina Natalia Nilseninnbundet
391,-179,- - Gå til Jomsviking 6; Valravns produktside54%Del 6 i serienJomsviking 6; ValravnBjørn Andreas Bull-Hanseninnbundet
409,-189,- - Gå til How Not to Hate Your Husband After Kidss produktsideHow Not to Hate Your Husband After KidsJancee Dunnpocket157,-
- Gå til Sinte barn og sinte voksnes produktside54%Sinte barn og sinte voksneAnne Hilde Vassbø Hagenpocket
215,-98,- - Gå til Ukeplanlegger for læreren 2025-2026s produktsideUkeplanlegger for læreren 2025-2026øvrig291,-
- Gå til Ikke mennesker jeg kan regne meds produktsideIkke mennesker jeg kan regne medKyrre Andreassenheftet249,-
Du vil kanskje like
- Gå til Deluxe Hunger Games Collection (4 book set)s produktsideDeluxe Hunger Games Collection (4 book set)Suzanne Collinsinnbundet477,-
Anbefalt for deg
- Gå til C++ For Beginners: The C++ book is the ultimate beginner's guide to programming C++ easily and fastlys produktsideC++ For Beginners: The C++ book is the ultimate beginner's guide to programming C++ easily and fastlyErick Myersheftet129,-
- Gå til Alice and Bob Learn Secure Codings produktsideAlice and Bob Learn Secure CodingTanya Jancaheftet373,-
- Gå til Deep Learnings produktsideDeep LearningIan Goodfellow, Yoshua Bengio, Aaron Courvilleinnbundet1 323,-
- Gå til C++ and Python Programming 2 Bundle Manuscript Introductory Beginners Guide to Learn C++ Programming and Python Programmings produktsideC++ and Python Programming 2 Bundle Manuscript Introductory Beginners Guide to Learn C++ Programming and Python ProgrammingIsaac D. Codyheftet217,-
- Gå til Networking All-in-One For Dummiess produktsideNetworking All-in-One For DummiesDoug Loweheftet404,-
- Gå til Fundamentals of Software Architectures produktsideFundamentals of Software ArchitectureMark Richards, Neal Fordpocket775,-
- Gå til Cybersecurity Essentialss produktsideCybersecurity EssentialsCharles J. Brooks, Christopher Grow, Philip A. Craig, Donald Shortheftet338,-
- Gå til JavaScript from Beginner to Professionals produktsideJavaScript from Beginner to ProfessionalLaurence Lars Svekis, Maaike van Putten, Codestars By Rob Percivalheftet403,-
- Gå til Kafka - The Definitive Guides produktsideKafka - The Definitive GuideGwen Shapira, Todd Palino, Rajini Sivaramheftet694,-