Catalogo Dafny

Se non hai ancora trovato l'articolo che stai cercando allora consulta il catalogo completo dei prodotti di Dafny:


  • Introducing software verification with dafny language: proving program corr Scheda Completa

    Caratteristiche, schede tecniche ed offerte su introducing software verification with dafny language: proving program correctness
    Prezzo: 17,24  € (verifica nella scheda prodotto)

    Programmazione, Informatica, Web e Digital Media, Libri, Scienza dei calcolatori, Linguaggi di programmazione, Libri universitari informatica, Libri universitari, Libri in inglese, Featured Categories, Libri in altre lingue, Grandi Offerte, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4301, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, S...

  • Mayet w m2ajjal dafny Scheda Completa

    Caratteristiche, schede tecniche ed offerte su mayet w m2ajjal dafny
    Prezzo: 1,29  € (verifica nella scheda prodotto)

    Musica Pop, Musica Digitale...

  • Passageiros do tempo Scheda Completa

    Caratteristiche, schede tecniche ed offerte su passageiros do tempo
    Prezzo: 1,29  € (verifica nella scheda prodotto)

    Musica Hip-Hop e Rap, Musica Digitale...

  • Non mi importa Scheda Completa

    Caratteristiche, schede tecniche ed offerte su non mi importa
    Prezzo: 1,29  € (verifica nella scheda prodotto)

    Musica Pop, Musica Digitale...

  • Join me in death Scheda Completa

    Caratteristiche, schede tecniche ed offerte su join me in death
    Prezzo: 1,29  € (verifica nella scheda prodotto)

    Musica Dance ed Elettronica, Musica Digitale...

  • In bilico su di me Scheda Completa

    Caratteristiche, schede tecniche ed offerte su in bilico su di me
    Prezzo: 1,29  € (verifica nella scheda prodotto)

    Musica Pop, Musica Digitale...

  • Why should i care Scheda Completa

    Caratteristiche, schede tecniche ed offerte su why should i care
    Prezzo: 1,29  € (verifica nella scheda prodotto)

    Musica Dance ed Elettronica, Musica Digitale...

  • Vila dafny blazer 42 Scheda Completa

    Caratteristiche, schede tecniche ed offerte su vila dafny blazer 42 realizzato da Vila
    Prezzo: 34,99  € (verifica nella scheda prodotto)

    Zoom IMG-1 vila dafny blazer 42
    Zoom IMG-2 vila dafny blazer 42
    Giacche da abito e blazer da donna, Tailleur e giacche da donna, Abbigliamento donna, Moda Donna, Moda...

  • Stress and immunity Scheda Completa

    Caratteristiche, schede tecniche ed offerte su stress and immunity realizzato da CRC Press
    Prezzo: 95,00  € (verifica nella scheda prodotto)

    Zoom IMG-1 stress and immunity
    Medicina generale, chirurgia e infermieristica, Medicina, Scienze, tecnologia e medicina, Libri, Immunologia, Clinica e medicina interna, Psichiatria, Altre branche della medicina, Scienze biologiche, Neuroscienza, Libri universitari scienze di base, Libri universitari medicina, Libri universitari medicina e scienze sanitarie, Libri universitari, L...

  • Algoritmos y estructuras de datos: con programas verificados en dafny Scheda Completa

    Caratteristiche, schede tecniche ed offerte su algoritmos y estructuras de datos: con programas verificados en dafny realizzato da Ibergarceta Publicaciones S.L.
    Prezzo: 265,00  € (verifica nella scheda prodotto)

    Programmazione, Informatica, Web e Digital Media, Libri, Algoritmi informatici, Libri universitari informatica, Libri universitari, Libri in altre lingue, Featured Categories, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, Self Service, Arborist Merchandising Root, Foreign...

  • Formalizing data-centric web services Scheda Completa

    Caratteristiche, schede tecniche ed offerte su formalizing data-centric web services realizzato da Springer
    Prezzo: 53,49  € (verifica nella scheda prodotto)

    Software per l'ufficio, Informatica, Web e Digital Media, Libri, Programmazione, Scienza dei calcolatori, Linguaggi di programmazione, Libri universitari informatica, Libri universitari, Libri in inglese, Featured Categories, Libri in altre lingue, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Sp...

  • Dafny liz : poesias (portuguese edition) Scheda Completa

    Caratteristiche, schede tecniche ed offerte su dafny liz : poesias (portuguese edition)
    Prezzo: 0,91  € (verifica nella scheda prodotto)

    Poesia caraibica e latinoamericana, Poesia regionale e culturale, Poesia, Letteratura e narrativa, Libri, Libri in altre lingue, Featured Categories, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, Self Service, Arborist Merchandising Root, Letteratura in lingua straniera, ...

  • Human health system: physiology, anatomy, biology, biochemistry, biotechnol Scheda Completa

    Caratteristiche, schede tecniche ed offerte su human health system: physiology, anatomy, biology, biochemistry, biotechnology, genetics, genomics, medicine, bioengineering, bioscience
    Prezzo: 91,90  € (verifica nella scheda prodotto)

    Zoom IMG-1 human health system physiology anatomy
    Medicina generale, chirurgia e infermieristica, Medicina, Scienze, tecnologia e medicina, Libri, Libri in inglese, Featured Categories, Libri in altre lingue, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, Self Service, Arborist Merchandising Root, Content Stores, 473ad6e2...

  • Rus-prevrashchenie dafny Scheda Completa

    Caratteristiche, schede tecniche ed offerte su rus-prevrashchenie dafny realizzato da Wentworth Press
    Prezzo: 40,99  € (verifica nella scheda prodotto)

    Storia, Libri, Libri in altre lingue, Featured Categories, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, Self Service, Arborist Merchandising Root, Foreign (all), 473ad6e2-bc18-439b-b9c5-bb4af119f847_5101...

  • Tools for practical software verification: international summer school, las Scheda Completa

    Caratteristiche, schede tecniche ed offerte su tools for practical software verification: international summer school, laser 2011, elba island, italy, revised tutorial lectures: 7682 realizzato da Springer
    Prezzo: 49,22  € (verifica nella scheda prodotto)

    Programmazione, Informatica, Web e Digital Media, Libri, Scienza dei calcolatori, Impresa, strategia e gestione, Economia, affari e finanza, Linguaggi di programmazione, Libri universitari informatica, Libri universitari, Progettazione e ingegneria del software, Libri in inglese, Featured Categories, Libri in altre lingue, Regular Stores, 473ad6e2-...

  • Burned (re-tide re-grooved) Scheda Completa

    Caratteristiche, schede tecniche ed offerte su burned (re-tide re-grooved)
    Prezzo: 1,29  € (verifica nella scheda prodotto)

    Musica R&B e Soul, Musica Digitale...