- 5 resultados
menor preço: € 22.50, preço mais alto: € 48.37, preço médio: € 29.72
1
Formal Methods for Components and Objects - Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne
Encomendar
no/na AbeBooks.de
€ 48.37
Envio: € 0.001
EncomendarLink patrocinado
Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne:

Formal Methods for Components and Objects - Livro de bolso

2007, ISBN: 3540747915

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

NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
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)
Encomendar
no/na amazon.de
€ 27.75
Envio: € 3.001
EncomendarLink patrocinado
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) - Livro de bolso

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 … mais…

Custos de envio:Auf Lager. Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00) ausverkauf
3
Encomendar
no/na ZVAB.com
€ 24.98
Envio: € 0.001
EncomendarLink patrocinado
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 - Livro de bolso

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, … mais…

NOT NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
4
Encomendar
no/na buchfreund.de
€ 24.98
Envio: € 0.001
EncomendarLink patrocinado
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 - livro usado

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… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
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.
Encomendar
no/na Achtung-Buecher.de
€ 22.50
Envio: € 0.001
EncomendarLink patrocinado
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) - Livro de bolso

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,]

Custos de envio:Sans frais d'envoi en Allemagne. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
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)

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.

Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2008
Editor/Editora: de Boer, Frank S. Springer
297 Páginas
Peso: 0,467 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-02-13T20:37:43-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-07-31T09:10:34-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540747918

Número ISBN - Ortografia alternativa:
3-540-74791-5, 978-3-540-74791-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: frank paul, bons, bon marcel, marcell, graf susanne, boer willem, marcello, röver, böer, roever
Título do livro: object, computer, formal methods components objects, netherlands, programming, and out amsterdam, symposium, seven objects, november 1923 1933


Dados da editora

Autor: Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Título: 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
Editora: Springer; Springer Berlin
300 Páginas
Ano de publicação: 2007-12-18
Berlin; Heidelberg; DE
Língua: Inglês
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.

< Para arquivar...