. .
Français
France
Livres similaires
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
Annonce payée
FILTRE
- 0 Résultats
prix le plus bas: 4,08 €, prix le plus élevé: 74,89 €, prix moyen: 58,63 €
Formal Methods for Components and Objects - Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf
Livre non disponible
(*)
Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf:

Formal Methods for Components and Objects - nouveau livre

2006, ISBN: 9783540747918

ID: 170880145

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. 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Nouveaux livres Thalia.de
No. 14971222 Frais d'envoi, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Methods for Components and Objects - Boer, Frank S. de / Bonsangue, Marcello M. / Graf, Susanne Roever, Willem-Paul de (eds.)
Livre non disponible
(*)

Boer, Frank S. de / Bonsangue, Marcello M. / Graf, Susanne Roever, Willem-Paul de (eds.):

Formal Methods for Components and Objects - Livres de poche

2007, ISBN: 9783540747918

[ED: Softcover], [PU: Springer, Berlin], 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. 2007. viii, 300 S. 235 mm Sofort lieferbar, [SC: 0.00], Neuware, gewerbliches Angebot

Nouveaux livres Booklooker.de
buecher.de GmbH & Co. KG
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures . / Programming and Software Engineering) - Editor-Frank S. de Boer; Editor-Marcello M. Bonsangue; Editor-Susanne Graf; Editor-Willem-Paul de Roever
Livre non disponible
(*)
Editor-Frank S. de Boer; Editor-Marcello M. Bonsangue; Editor-Susanne Graf; Editor-Willem-Paul de Roever:
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures . / Programming and Software Engineering) - Livres de poche

2008

ISBN: 3540747915

ID: 9031574365

[EAN: 9783540747918], [PU: Springer], Computers & the Internet|Programming|Object Oriented, Computers & the Internet|Programming|Software Development, Computers & the Internet|Programming|Systems Analysis & Design, Computers & the Internet|Programming Languages|General, This item is printed on demand.

livre d'occasion Abebooks.de
Ergodebooks, RICHMOND, TX, U.S.A. [8304062] [Rating: 4 (von 5)]
Frais d'envoi EUR 12.51
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering) - Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Livre non disponible
(*)
Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor):
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering) - Livres de poche

2006, ISBN: 9783540747918

ID: 599393194

Springer, 2008-02-06. 2007. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available., Springer, 2008-02-06

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 13.46
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Methods for Components and Objects - Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Livre non disponible
(*)
Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever:
Formal Methods for Components and Objects - Livres de poche

2007, ISBN: 9783540747918

ID: 8514586

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures, 2007, Softcover, Buch, [PU: Springer Berlin]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
Formal Methods for Components and Objects
Auteur:

Marcello M. Bonsangue

Titre:

Formal Methods for Components and Objects

ISBN:

3540747915

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.

Informations détaillées sur le livre - Formal Methods for Components and Objects


EAN (ISBN-13): 9783540747918
ISBN (ISBN-10): 3540747915
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Springer-Verlag GmbH
297 Pages
Poids: 0,467 kg
Langue: eng/Englisch

Livre dans la base de données depuis 13.02.2007 23:37:43
Livre trouvé récemment le 21.11.2016 13:57:37
ISBN/EAN: 3540747915

ISBN - Autres types d'écriture:
3-540-74791-5, 978-3-540-74791-8

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres