SFr. 105.00
€ 105.00
BTC 0.0128
LTC 0.816
ETH 0.1539


bestellen

Artikel-Nr. 16516870


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:



Herausgeber: 
  • Ruben Gamboa
  • Gerwin Klein
  • Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!


    Übersicht
     
    Lieferstatus:   i.d.R. innert 4-7 Tagen versandfertig
    Genre:  EDV / Informatik 
    ISBN:  9783319089690 
    EAN-Code: 
    9783319089690 
    Verlag:  Springer International Publishing 
    Einband:  Kartoniert  
    Sprache:  English  
    Dimensionen:  H 236 mm / B 154 mm / D 35 mm 
    Gewicht:  834 gr 
    Seiten:  580 
    Zus. Info:  Book 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

      
     Empfehlungen... 
     Interactive Theorem Proving and Program Developmen - (Buch)
     Interactive Theorem Proving: Second International - (Buch)
     Interactive Theorem Proving and Program Developmen - (Buch)
     Interactive Theorem Proving in Software Engineerin - (Buch)
     Interactive Theorem Proving: 4th International Con - (Buch)
     Interactive Theorem Proving: 6th International Con - (Buch)
     Interactive Theorem Proving: 7th International Con - (Buch)
     Interactive Theorem Proving: 8th International Con - (Buch)
     Interactive Theorem Proving: First International C - (Buch)
     Interactive Theorem Proving: Third International C - (Buch)
     Weitersuchen in   DVD/FILME   CDS   GAMES   BÜCHERN   



    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Google Plus-Page Google+ | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2018
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2018
    Jetzt auch mit BitCoin bestellen!