Formal Methods in Programming and Their Applications

Lingua: inglese

Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1993

354057316X / 9783540573166

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

Venditore con 5 stelle

Venditore AbeBooks dal 11 giugno 2025

Brossura

Condizione: Nuovo

EUR 69,88

 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 volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis.

Codice articolo LU-9783540573166

Titolo
Formal Methods in Programming and Their Applications
Autore
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Editore
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Anno di pubblicazione
1993
Condizione
New
Rilegatura
Paperback
Lingua
inglese
ISBN 10
354057316X
ISBN 13
9783540573166
Edizione
1993 ed.
Peso dell'articolo
626 grammi
Dimensioni
15.49 x 2.59 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