Engineering theories software intensive (24 résultats)

Langue : anglais
Edité par Dordrecht, Springer Netherlands., 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, AllemagneUniversitätsbuchhandlung Herta Hold GmbH
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 25,00
EUR 30,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
1 online resource (X, 404 pages). Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Nato Science Series II:, Mathematics, Physics and… Chemistry, 195. Sprache: Englisch.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 103,01
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
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.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 104,31
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 167,52
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
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.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 169,86
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Langue : anglais
Edité par Springer-Verlag Gmbh, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 99,99
EUR 63,89 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Gebundene Ausgabe. Etat : Sehr gut. Gebraucht - Sehr gut Sg - leichte Beschädigungen, Verschmutzungen, ungelesenes Mängelexemplar, Sofortversand - 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 productio…n 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.

Engineering Theories of Software Intensive Systems
Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 218,61
EUR 17,53 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

Engineering Theories of Software Intensive Systems
Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 237,34
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 227,49
EUR 14,00 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 227,49
EUR 14,00 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.

Engineering Theories of Software Intensive Systems
Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 240,55
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

Engineering Theories of Software Intensive Systems
Broy, Mafred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 227,48
EUR 17,53 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

Engineering Theories of Software Intensive Systems
Broy, Mafred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 246,27
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 248,08
EUR 3,44 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Used. pp. 416.

Engineering Theories of Software Intensive Systems
Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 243,60
EUR 17,53 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 260,62
EUR 7,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Used. pp. 416 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 265,94
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Used. pp. 416.

Langue : anglais
Edité par Springer Netherlands, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 246,91
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Gebunden. Etat : New. Formal MethodsSoftware EngineeringEmbedded SystemsSystem and Program VerificationSecurity EngineeringSoftware engineering has over the years been applied in many different fields, ranging from telecommunications to .

Engineering Theories of Software Intensive Systems
Broy, Mafred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 321,30
EUR 17,53 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.

Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 311,69
EUR 29,21 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Engineering Theories of Software Intensive Systems
Broy, Mafred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Langue : anglais
Edité par Springer, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 348,63
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.

Langue : anglais
Edité par Springer Jul 2005, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 304,50
EUR 63,89 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. 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 d…omains, 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.

Langue : anglais
Edité par SPRINGER, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture rigide
- Édition internationale
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-UniUK BOOKS STORE
Contacter le vendeurVendeur avec une évaluation de 4 étoilesÉdition internationaleEtat: Neuf
EUR 419,33
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Bo…ok weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

Langue : anglais
Edité par Springer Netherlands, 2005
Série : Livre 153 sur 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 181,53
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
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 .