Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Lingua: inglese

Editore: Springer Vieweg, 2007

3540747915 / 9783540747918

Da: Buchpark, Trebbin, GermaniaBuchpark

Venditore con 5 stelle

Venditore AbeBooks dal 30 settembre 2021

Brossura

Condizione: Usato - Ottimo

EUR 43,31

EUR 105,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Zustand: Sehr gut | Seiten: 308 | Sprache: Englisch | Produktart: Bücher | Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages.This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis.…

Codice articolo 3937207/12

Titolo
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Autore
Unbekannt
Editore
Springer Vieweg
Anno di pubblicazione
2007
Condizione
Sehr gut
Rilegatura
Brossura
Lingua
inglese
ISBN 10
3540747915
ISBN 13
9783540747918
Cataloghi dei venditori
Bücher

Buchpark

Trebbin, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 30 settembre 2021

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

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 105,00EUR 130,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
  • Assegno
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.…

Informazioni sull’azienda del venditore

Buchpark GmbH

Krügerweg 1
Trebbin, Germania 14959