Gå direkte til innholdet

Stort sommersalg på pocket »

Til startsiden
Søk etter din neste leseopplevelse
Numerical Software Verification
Numerical Software Verification
Spar

Numerical Software Verification

e-bok, Engelsk, 2017
612,-
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
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Andre har også sett på

  • Gå til Way Outs produktside
    Bokomslag for Way Out
    Alan Gordon, Alon Ziv
    pocket
  • Gå til Spis dette! ; smakfull hverdagsmat uten sukker og ultraprosessers produktside
    Bokomslag for Spis dette! ; smakfull hverdagsmat uten sukker og ultraprosesser
    Bente Josefsen
    innbundet
  • Gå til Empire of Flame and Thornss produktside
    Bokomslag for Empire of Flame and Thorns
    Marion Blackwood
    pocket
  • Gå til Releasing 10s produktside
    Bokomslag for Releasing 10
    Chloe Walsh
    pocket
  • Gå til Trampoline. Aktivitetshefte for barnehagens produktside
    Bokomslag for Trampoline. Aktivitetshefte for barnehagen
    Janne Hals
    øvrig
  • Gå til Aichas salatfantasiers produktside
    Bokomslag for Aichas salatfantasier
    Aicha Bouhlou
    pocket
  • Gå til Comfy lifes produktside
    Bokomslag for Comfy life
    heftet
  • Gå til Rich Dad Poor Dads produktside
    Bokomslag for Rich Dad Poor Dad
    Robert T. Kiyosaki
    pocket
  • Gå til Let Them Theorys produktside
    Bokomslag for Let Them Theory
    Terry Davis
    pocket
  • Gå til Bibelens produktside
    Bokomslag for Bibelen
    luksusbind
  • Gå til Barnehageplanlegger 2025 - 2026s produktside
    Bokomslag for Barnehageplanlegger 2025 - 2026
    øvrig
  • Gå til Animal Farms produktside
    Bokomslag for Animal Farm
    George Orwell
    pocket

Du vil kanskje like

  • Gå til How Not to Hate Your Husband After Kidss produktside
    Bokomslag for How Not to Hate Your Husband After Kids
    Jancee Dunn
    pocket
  • Gå til Onyx Storms produktside
    Bokomslag for Onyx Storm
    Rebecca Yarros
    heftet
  • Gå til Throne of Glass Box Set (Paperback)s produktside
    Bokomslag for Throne of Glass Box Set (Paperback)
    kartonert
  • Gå til I Who Have Never Known Mens produktside
    Bokomslag for I Who Have Never Known Men
    Jacqueline Harpman
    pocket
  • Gå til $100M Leadss produktside
    Bokomslag for $100M Leads
    Alex Hormozi
    innbundet
  • Gå til Original Sins produktside
    Bokomslag for Original Sin
    Jake Tapper, Alex Thompson
    innbundet
  • Gå til Seven Things I Wish Christians Knew about the Bibles produktside
    Bokomslag for Seven Things I Wish Christians Knew about the Bible
    Michael F. Bird
    heftet
  • Gå til The Things We Waters produktside
    Bokomslag for The Things We Water
    Mariana Zapata
    pocket
  • Gå til Feathers so Viciouss produktside
    Bokomslag for Feathers so Vicious
    LIV Zander
    pocket
  • Gå til Never Flinchs produktside
    Bokomslag for Never Flinch
    Stephen King
    innbundet
  • Gå til More Everything Forevers produktside
    Bokomslag for More Everything Forever
    Adam Becker
    innbundet
  • Gå til Fear the Flamess produktside
    Bokomslag for Fear the Flames
    Olivia Rose Darling
    pocket

Anbefalt for deg

  • Gå til Site Reliability Engineerings produktside
    Bokomslag for Site Reliability Engineering
    Betsy Beyer, Jennifer Petoff, Chris Jones, Niall Richard Murphy
    heftet
  • Gå til Clean Architectures produktside
    Bokomslag for Clean Architecture
    Robert Martin
    heftet
  • Gå til Effective C++s produktside
    Bokomslag for Effective C++
    Scott Meyers
    heftet
  • Gå til Effective Modern C++s produktside
    Bokomslag for Effective Modern C++
    Scott Meyers
    heftet
  • Gå til 2D Game Collision Detection: An Introduction to Clashing Geometry in Gamess produktside
    Bokomslag for 2D Game Collision Detection: An Introduction to Clashing Geometry in Games
    Thomas Schwarzl
    heftet
  • Gå til Minecraft: The Complete Handbook Collections produktside
    Bokomslag for Minecraft: The Complete Handbook Collection
    øvrig
  • Gå til Bare en runde tils produktside
    Bokomslag for Bare en runde til
    Rune Mentzoni
    innbundet
  • Gå til Python Crash Course, 3rd Editions produktside
    Bokomslag for Python Crash Course, 3rd Edition
    Eric Matthes
    heftet
  • Gå til Observability Engineerings produktside
    Bokomslag for Observability Engineering
    Charity Majors, Liz Fong-Jones, George Miranda
    heftet
  • Gå til Designing Data-Intensive Applicationss produktside
    Bokomslag for Designing Data-Intensive Applications
    Martin Kleppmann
    heftet
  • Gå til C++ For Beginners: The C++ book is the ultimate beginner's guide to programming C++ easily and fastlys produktside
    Bokomslag for C++ For Beginners: The C++ book is the ultimate beginner's guide to programming C++ easily and fastly
    Erick Myers
    heftet
  • Gå til C++ Software Designs produktside
    Bokomslag for C++ Software Design
    Klaus Iglberger
    heftet

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å 10% 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