SFr. 173.00
€ 173.00
BTC 0.0246
LTC 2.357
ETH 0.4064


bestellen

Artikel-Nr. 13677299


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:




Autor(en): 
  • James J. Horning
  • John V. Guttag
  • Larch: Languages and Tools for Formal Specification 
     

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


    Übersicht
     
    Lieferstatus:   i.d.R. innert 5-10 Tagen versandfertig
    Genre:  Schulbücher 
    ISBN:  9781461276364 
    EAN-Code: 
    9781461276364 
    Verlag:  Springer New York 
    Einband:  Kartoniert  
    Sprache:  English  
    Dimensionen:  H 235 mm / B 155 mm / D 14 mm 
    Gewicht:  415 gr 
    Seiten:  272 
    Zus. Info:  Book 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    This text addresses an important topic: the use of a formal specification language and supporting tools. Formal methods are becoming increasingly important to the practicing programmer; Springer-Verlag has a tradition of publishing books in this area. The book's subject, the Larch specification work at MIT and DEC, is respected amongst academic computer scientists. As plans begin for Larch tools to be distributed to the community, this book can serve as an invaluable reference. The authors of this text, James Horning and John Guttag, want their book to reach people interested in implementing formal methods into practical use. This readable text makes extensive use of examples, and serves as both a reference manual and as a tutorial. Chapter 1 discusses the use of formal specifications in program development, providing a context for the technical material that follows. Chapter 2 contains a very short introduction to the notation of mathematical logic. The chapter is aimed at those with no background in logic, and provides all the logic background needed to understand the remainder of the book. The remaining six chapters of the book contains an in-depth look at Larch, and the authors' approach to the formal specification of program components.

      
     Empfehlungen... 
     Dirty Harry Collection: Limited Edition - Uncut (5 Blu-Ray) - (BLU-RAY)
     Dirty Harry - (BLU-RAY)
     In den Wind geschrieben - (DVD - Code 2)
     Amityville Horror, The - (BLU-RAY)
     Dirty Harry - (DVD - Code 2)
     Clint Eastwood Collection: Dirty Harry/Gran Torino/Unforgiven - (DVD - Code 2: Englandimport)
     Dirty Harry - (BLU-RAY Englandimport)
     Dirty Harry / Magnum Force (2 DVD) - (DVD - Code 1)
     Amityville Horror - (BLU-RAY)
     Dirty Harry - (DVD - Code 2: Englandimport)
     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 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