Rigorous methods software construction (18 risultati)
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,25
EUR 14,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,60
EUR 18,13 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,15
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,59
EUR 17,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,06
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. xvi + 235.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,61
EUR 11,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 233 pages. 9.00x6.00x0.50 inches. In Stock.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Rigorous Methods for Software Construction and Analysis | Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday | Jean-Raymond Abrial (u. a.) | Taschenbuch | xvi | Englisch | 2010 | Springer | EAN 9783642114465 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.…17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,39
EUR 61,97 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'Festkolloquium' on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, the volume cove…rs a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor.In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 120,56
EUR 17,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 110,93
EUR 29,27 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. Like New. book.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 142,01
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 42,09
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006. Focusing on applied formal me…thods, the volume covers a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor.In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 40,86
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, t…he volume covers a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor.In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'Festkolloquium' on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods,… the volume covers a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor.In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education. 256 pp. Englisch.
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,63
EUR 7,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. xvi + 235 43 Illus.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,94
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. xvi + 235.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Developme…nt.- Ten Reasons to Metamodel ASMs.- An ASM-Characterization of a .
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.- Ten Reasons to Metamodel ASMs.- An ASM-…Characterization of a Class of Distributed Algorithms.- Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.- Validating and Animating Higher-Order Recursive Functions in B.- A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.- Management of UML Clusters.- A Step towards Merging xUML and CSP B.- CoreASM Plug-In Architecture.- JASMine: Accessing Java Code from CoreASM.- A Modular Verification Methodology for C# Delegates.- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.- Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 256 pp. Englisch.
