Gå direkte til innholdet

MAISALG opptil 60% »

Til startsiden
Søk etter din neste leseopplevelse
Types for Proofs and Programs
Types for Proofs and Programs
Spar

Types for Proofs and Programs

e-bok, Engelsk, 2007
619,-
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer

Student

Alt du trenger til studiene
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 A Court of Thorns and Roses Paperback Box Sets produktside
    Bokomslag for A Court of Thorns and Roses Paperback Box Set
    Sarah J. Maas
    pocket
  • Gå til Glemt på en søndags produktside
    Bokomslag for Glemt på en søndag
    Valérie Perrin
    innbundet
    409,-
  • Gå til Jeg har venta sånn på degs produktside
    Bokomslag for Jeg har venta sånn på deg
    Trygve Skaug
    innbundet
    364,-
  • Gå til Nytt blikk på diabetess produktside
    Bokomslag for Nytt blikk på diabetes
    Erik Hexeberg
    innbundet
    391,-
  • Gå til Barnehageplanlegger 2025 - 2026s produktside
    Bokomslag for Barnehageplanlegger 2025 - 2026
    øvrig
  • Gå til Feathers so Viciouss produktside
    Bokomslag for Feathers so Vicious
    LIV Zander
    pocket
  • Gå til Maries rums produktside
    Bokomslag for Maries rum
    Marie Olsson Nylander
    kartonert
  • Gå til Sunrise on the Reapings produktside
    Bokomslag for Sunrise on the Reaping
    Suzanne Collins
    innbundet
  • Gå til Dad, I Want to Hear Your Storys produktside
    Bokomslag for Dad, I Want to Hear Your Story
    Jeffrey Mason
    innbundet
  • Gå til Fra uro til ros produktside
    Bokomslag for Fra uro til ro
    Ann-Karin Bakken, Kaja Næss Johannessen
    heftet
  • Gå til Cozy Corners produktside
    Bokomslag for Cozy Corner
    Coco Wyo
    heftet
  • Gå til Spansk skoleordboks produktside
    Bokomslag for Spansk skoleordbok
    María Luisa Villanueva Aasen, Signe Flydal Blichfeldt
    fleksibind

Du vil kanskje like

  • Gå til Shadows so Cruels produktside
    Bokomslag for Shadows so Cruel
    LIV Zander
    pocket
  • Gå til The Let Them Theorys produktside
    Bokomslag for The Let Them Theory
    Mel Robbins
    innbundet
  • Gå til The Psychology of Moneys produktside
    Bokomslag for The Psychology of Money
    Morgan Housel
    pocket
  • Gå til King of Envys produktside
    Bokomslag for King of Envy
    Ana Huang
    pocket
  • Gå til Feathers so Viciouss produktside
    Bokomslag for Feathers so Vicious
    LIV Zander
    pocket
  • Gå til The Man Who Knew Infinity: A Life of the Genius Ramanujans produktside
    Bokomslag for The Man Who Knew Infinity: A Life of the Genius Ramanujan
    Robert Kanigel
    heftet
  • Gå til Phantoms produktside
    Bokomslag for Phantom
    H. D. Carlton
    pocket
  • Gå til Fear the Flamess produktside
    Bokomslag for Fear the Flames
    Olivia Rose Darling
    pocket
  • Gå til Little Strangers produktside
    Bokomslag for Little Stranger
    Leigh Rivers
    pocket
  • Gå til Cozy Corners produktside
    Bokomslag for Cozy Corner
    Coco Wyo
    heftet
  • Gå til Hunting Adelines produktside
    Bokomslag for Hunting Adeline
    H. D. Carlton
    pocket
  • Gå til INSPIREDs produktside
    Bokomslag for INSPIRED
    Marty Cagan
    innbundet

Anbefalt for deg

  • Gå til Clean Codes produktside
    Bokomslag for Clean Code
    Robert Martin
    heftet
  • Gå til Cybersecurity Essentialss produktside
    Bokomslag for Cybersecurity Essentials
    Charles J. Brooks, Christopher Grow, Philip A. Craig, Donald Short
    heftet
  • Gå til Python Crash Course, 3rd Editions produktside
    Bokomslag for Python Crash Course, 3rd Edition
    Eric Matthes
    heftet
  • Gå til Adobe Illustrator Classroom in a Book 2025 Releases produktside
    Bokomslag for Adobe Illustrator Classroom in a Book 2025 Release
    Brian Wood
    heftet
  • Gå til Software Architecture: The Hard Partss produktside
    Bokomslag for Software Architecture: The Hard Parts
    Neal Ford, Mark Richards, Pramod Sadalage, Zhamak Dehghani
    heftet
  • Gå til Automate the Boring Stuff with Python, 3rd Editions produktside
    Bokomslag for Automate the Boring Stuff with Python, 3rd Edition
    Al Sweigart
    heftet
  • Gå til Plant Maintenance with SAP S/4HANA: Business User Guides produktside
    Bokomslag for Plant Maintenance with SAP S/4HANA: Business User Guide
    Karl Liebstuckel
    innbundet
  • Gå til Networking All in One For Dummiess produktside
    Bokomslag for Networking All in One For Dummies
    Doug Lowe
    heftet
  • Gå til Python All-in-One For Dummiess produktside
    Bokomslag for Python All-in-One For Dummies
    John C. Shovic, Alan Simpson
    heftet
  • Gå til Eloquent JavaScript, 4th Editions produktside
    Bokomslag for Eloquent JavaScript, 4th Edition
    Marijn Haverbeke
    heftet
  • Gå til JavaScript from Beginner to Professionals produktside
    Bokomslag for JavaScript from Beginner to Professional
    Laurence Lars Svekis, Maaike van Putten, Codestars By Rob Percival
    heftet
  • Gå til The Official Stardew Valley Cookbooks produktside
    Bokomslag for The Official Stardew Valley Cookbook
    Ryan Novak
    innbundet

Mer om Adlibris

Om Adlibris

Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.

  • Alltid gode priser

  • Fri frakt over 299,-

  • Nordens største bokhandel

Meld deg på nyhetsbrev

Motta våre beste boktips, nyheter og gode tilbud. Registrer deg nå, og få 15% rabatt på det første kjøpet ditt. Tilbudet gjelder kun nye abonnenter og privatkunder. Rabatten gjelder ikke norske bøker utgitt 2024, fag- og studielitteratur, digitale bøker og gavekort.

Vanlige spørsmål