- 5 Risultati
prezzo più basso: € 22,50, prezzo più alto: € 48,37, prezzo medio: € 29,72
1
Formal Methods for Components and Objects - Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne
Ordina
da AbeBooks.de
€ 48,37
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne:

Formal Methods for Components and Objects - edizione con copertina flessibile

2007, ISBN: 3540747915

[EAN: 9783540747918], Neubuch, [PU: Springer Berlin Heidelberg], OBJEKTORIENTIERT (EDV) UML FORMALMETHOD MODELCHECKING MODELING OBJECT PROGRAMMING PROGRAMMINGLANGUAGE VERIFICATION INFORMA… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
Chiudere (X)
2
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)
Ordina
da amazon.de
€ 27,75
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709) - edizione con copertina flessibile

2008, ISBN: 9783540747918

Springer, Taschenbuch, Auflage: 2007, 308 Seiten, Publiziert: 2008-02-06T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.97 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Altro …

Costi di spedizione:Auf Lager. Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00) ausverkauf
Chiudere (X)
3
Ordina
da ZVAB.com
€ 24,98
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
de Boer, Frank S., Marcello M. Bonsangue und Susanne Graf:
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - edizione con copertina flessibile

2007

ISBN: 3540747915

[EAN: 9783540747918], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], VERIFICATION,PROGRAMMING,PROGRAMMING LANGUAGE,MODELING,FORMAL METHOD,MODEL CHECKING,OBJECT,, Neubindung, … Altro …

NOT NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
Chiudere (X)
4
Ordina
da buchfreund.de
€ 24,98
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
de Boer, Frank S., Marcello M. Bonsangue und Susanne Graf:
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures 2007 - libri usati

2007, ISBN: 9783540747918

2007 Neubindung, 2007, Buchrücken und -kanten leicht angestossen 3937207/12 Versandkostenfreie Lieferung verification,programming,programming language,modeling,formal method,model checkin… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
Chiudere (X)
5
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science) - de, Boer Frank S.
Ordina
da Achtung-Buecher.de
€ 22,50
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
de, Boer Frank S.:
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science) - edizione con copertina flessibile

2001, ISBN: 3540747915

Auflage: 2007 23,0 x 15,4 x 1,8 cm, Taschenbuch 308 Seiten Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek /, [KW:BUCH] 2, [PU:Springer,]

Costi di spedizione:Sans frais d'envoi en Allemagne. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)
Autore:
Titolo:
ISBN:

9783540747918


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. It 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.

Informazioni dettagliate del libro - Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)


EAN (ISBN-13): 9783540747918
ISBN (ISBN-10): 3540747915
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2008
Editore: de Boer, Frank S. Springer
297 Pagine
Peso: 0,467 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-02-13T23:37:43+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-07-31T14:10:34+02:00 (Rome)
ISBN/EAN: 9783540747918

ISBN - Stili di scrittura alternativi:
3-540-74791-5, 978-3-540-74791-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : frank paul, bons, bon marcel, marcell, graf susanne, boer willem, marcello, röver, böer, roever
Titolo del libro: object, computer, formal methods components objects, netherlands, programming, and out amsterdam, symposium, seven objects, november 1923 1933

Dati dell'editore

Autore: Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Titolo: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Editore: Springer; Springer Berlin
300 Pagine
Anno di pubblicazione: 2007-12-18
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 300 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; formal method; model checking; modeling; object; programming; programming language; verification; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Operating Systems; Compiler und Übersetzer; Theoretische Informatik; Betriebssysteme; EA

Testing.- Model-Based Testing of Environmental Conformance of Components.- Exhaustive Testing of Exception Handlers with Enforcer.- Model-Based Test Selection for Infinite-State Reactive Systems.- Program Verification.- Verifying Object-Oriented Programs with KeY: A Tutorial.- Rebeca: Theory, Applications, and Tools.- Learning Meets Verification.- Trust and Security.- JACK — A Tool for Validation of Security and Behaviour of Java Applications.- Towards a Formal Framework for Computational Trust.- Models of Computation.- On Recursion, Replication and Scope Mechanisms in Process Calculi.- Bounded Session Types for Object Oriented Languages.- Distributed Programming.- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.- Links: Web Programming Without Tiers.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783540301011 Formal Methods for Components and Objects (Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever)

< Per archiviare...