The Logic of Software. A Tasting Menu of Formal Methods

Lingua: inglese

Editore: Springer International Publishing AG, CH, 2022

303108165X / 9783031081651

Da: Rarewaves.com USA, London, London, Regno UnitoRarewaves.com USA

Venditore con 5 stelle

Venditore AbeBooks dal 11 giugno 2025

Brossura

Condizione: Nuovo

EUR 152,12

 Spedizione gratuita 
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications.The contributions in this volume reflect Reiner's main research focus: formal methods, in particular applied to software verification.…

Codice articolo LU-9783031081651

Titolo
The Logic of Software. A Tasting Menu of Formal Methods
Autore
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Editore
Springer International Publishing AG, CH
Anno di pubblicazione
2022
Condizione
New
Rilegatura
Paperback
Lingua
inglese
ISBN 10
303108165X
ISBN 13
9783031081651
Edizione
1st ed. 2022.
Peso dell'articolo
813 grammi
Dimensioni
15.49 x 3.07 x 23.5 cm

Rarewaves.com USA

London, London, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 11 giugno 2025

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 9 a 14 giorni lavorativiDa 9 a 14 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Informazioni sull’azienda del venditore

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Regno Unito W1W 8BE