Verification of Reactive Systems

Lingua: inglese

Editore: Springer Berlin Heidelberg, 2003

3540002960 / 9783540002963

Serie: Libro 13 di 45 - Texts in Theoretical Computer Science. An EATCS

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Visualizza gli articoli di questo venditore
Rilegato

Condizione: Nuovo

EUR 48,37

EUR 48,99 spedizione 
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The book is self-containedIncludes all definitions&nbspwithout relying on other materialProves all theorems&nbspin detailCovers many formalisms like u-calculus, w-automata, and temporal logics and has special emphasis on the relati.

Codice articolo 4877070

Titolo
Verification of Reactive Systems
Autore
Klaus Schneider
Editore
Springer Berlin Heidelberg
Anno di pubblicazione
2003
Condizione
New
Rilegatura
Gebunden
Lingua
inglese
ISBN 10
3540002960
ISBN 13
9783540002963
Dimensioni
3.8 x 24 x 16.3
Serie
Libro 13 di 45: Texts in Theoretical Computer Science. An EATCS
Cataloghi dei venditori
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 16 a 45 giorni lavorativiDa 16 a 45 giorni lavorativi
Primo articoloEUR 48,99EUR 48,99
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
  • Assegno
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Online Handel nur mit Neubüchern

Informazioni sull’azienda del venditore

Moluna GmbH

Engberdingdamm 27
Greven, Germania 48268