Articles liés à Engineering Theories of Software Intensive Systems

Engineering Theories of Software Intensive Systems - Couverture souple

 
9781402035319: Engineering Theories of Software Intensive Systems

Synopsis

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.

The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
EUR 235,81

Autre devise

EUR 2,27 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 103,16

Autre devise

Gratuit expédition vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9781402035302: Engineering Theories of Software Intensive Systems

Edition présentée

ISBN 10 :  1402035306 ISBN 13 :  9781402035302
Editeur : Springer-Verlag New York Inc., 2005
Couverture rigide

Résultats de recherche pour Engineering Theories of Software Intensive Systems

Image d'archives

Broy, Manfred; Harel, David; Hoare, Tony; Gruenbauer, Johannes
Edité par Springer, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-85249

Contacter le vendeur

Acheter neuf

EUR 103,16
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

0
Edité par Springer, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-153865

Contacter le vendeur

Acheter neuf

EUR 103,16
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Broy, Manfred; Harel, David; Hoare, Tony; Gruenbauer, Johannes
Edité par Springer, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar2411530142867

Contacter le vendeur

Acheter neuf

EUR 203,52
Autre devise
Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Edité par Springer, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 3496709-n

Contacter le vendeur

Acheter neuf

EUR 204,71
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Broy, Manfred|Gruenbauer, Johannes|Harel, David
Edité par Springer Netherlands, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal MethodsSoftware EngineeringEmbedded SystemsSystem and Program VerificationSecurity EngineeringSoftware engineering has over the years been applied in many different fields, ranging from telecommunications to . N° de réf. du vendeur 4093397

Contacter le vendeur

Acheter neuf

EUR 180,07
Autre devise
Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Broy, Manfred; Harel, David; Hoare, Tony; Gruenbauer, Johannes
Edité par Springer, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In English. N° de réf. du vendeur ria9781402035319_new

Contacter le vendeur

Acheter neuf

EUR 218,47
Autre devise
Frais de port : EUR 13,80
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Manfred Broy
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : new. Paperback. Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004. Draws from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held in Germany in 2004. Examining software engineering techniques and foundations used for industrial tasks, this book presents mathematical foundations of software engineering and engineering methods in their theoretical substance. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9781402035319

Contacter le vendeur

Acheter neuf

EUR 232,48
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Edité par Springer, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 3496709-n

Contacter le vendeur

Acheter neuf

EUR 217,29
Autre devise
Frais de port : EUR 17,28
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Manfred Broy
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004. 416 pp. Englisch. N° de réf. du vendeur 9781402035319

Contacter le vendeur

Acheter neuf

EUR 213,99
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Edité par Springer, 2005
ISBN 10 : 1402035314 ISBN 13 : 9781402035319
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3496709

Contacter le vendeur

Acheter D'occasion

EUR 235,81
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre