SFr. 99.00
€ 99.00
BTC 0.0042
LTC 1.382
ETH 0.0661


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

    Auf mobile öffnen
     
    Lieferstatus:   i.d.R. innert 5-10 Tagen versandfertig
    Veröffentlichung:  August 2014  
    Genre:  EDV / Informatik 
    ISBN:  9783319089690 
    EAN-Code: 
    9783319089690 
    Verlag:  Springer International Publishing 
    Einband:  Kartoniert  
    Sprache:  English  
    Serie:  #8558 - Lecture Notes in Computer Science
    Theoretical Computer Science and General Issues  
    Dimensionen:  H 235 mm / B 155 mm / D 32 mm 
    Gewicht:  867 gr 
    Seiten:  580 
    Zus. Info:  Paperback 
    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... 
     Formal Analysis of Future Energy Systems Using Int - (Buch)
     Interactive Theorem Proving and Program Developmen - (Buch)
     Interactive Theorem Proving: 8th International Con - (Buch)
     Interactive Theorem Proving and Program Developmen - (Buch)
     Interactive Theorem Proving: 6th International Con - (Buch)
     Interactive Theorem Proving: 4th International Con - (Buch)
     Interactive Theorem Proving: 9th International Con - (Buch)
     Weitersuchen in   DVD/FILME   CDS   GAMES   BÜCHERN   



    Wird aktuell angeschaut...
     

    Zur├╝ck zur letzten Ansicht


    AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2023
    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-2023