9783540233428 - a practical theory of reactive systems: incremental modeling of dynamic behaviors (texts in theoretical computer science. an eatcs series) de kurki-suonio, r. (24 resultados)

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 23,19
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. xxii + 418 Illus.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 27,44
Envío por EUR 3,45Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. xxii + 418 1st Edition.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 33,25
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: 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.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 33,25
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 8 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 23,35
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. xxii + 418.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de AmericaSMASS Sellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 34,51
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Idioma: Inglés
Editorial: Springer Berlin / Heidelberg 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Primera edición
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 35,06
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de AmericaSMASS Sellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 36,00
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 23,06
Envío por EUR 15,76Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9783540233428.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,75
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,75
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 62,10
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,62
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,37
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,61
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,75
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: SPRINGER 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Edición internacional
Librería: UK BOOKS STORE, London, LONDO, Reino UnidoUK BOOKS STORE
Contactar con el vendedorVendedor de 5 estrellasEdición internacionalCondición: Nuevo
EUR 98,86
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Hardcover. Condición: 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 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requ…ested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,97
Envío por EUR 64,14Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some explanation. Theory and practice are often thought of as two…di erent worlds, governed bydi erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that 'theoretically' is synonymous to 'not really'. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this two-world view is inadequate, and a more intimate interplay is required between theory and practice. That is, both theoretical and practical components should be integrated into a practical theory. It should beclearfrom theabovethattheintended readership of this book is not theoreticians. They would probably have di culties in appreciating a book on theory where the presentation does not proceed in a logical sequence from basic de nitions to theorems and mathematical proofs, followed by - plication examples. In fact, all this would not constitute what I understand by a practical theory in this context.

Idioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Buchpark, Trebbin, , AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 23,09
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Hervorragend. Zustand: Hervorragend | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a ¿practical theory¿ may require some explanation. Theory and practice… are often thought of as two di?erent worlds, governed bydi?erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that ¿theoretically¿ is synonymous to ¿not really¿. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this two-world view is inadequate, and a more intimate interplay is required between theory and practice. That is, both theoretical and practical components should be integrated into a practical theory. It should beclearfrom theabovethattheintended readership of this book is not theoreticians. They would probably have di?culties in appreciating a book on theory where the presentation does not proceed in a logical sequence from basic de?nitions to theorems and mathematical proofs, followed by - plication examples. In fact, all this would not constitute what I understand by a practical theory in this context.

Idioma: Inglés
Editorial: SPRINGER 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Edición internacional
Librería: UK BOOKS STORE, London, LONDO, Reino UnidoUK BOOKS STORE
Contactar con el vendedorVendedor de 5 estrellasEdición internacionalCondición: Nuevo
EUR 133,68
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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 th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

Idioma: Inglés
Editorial: Springer Berlin Heidelberg Feb 2005 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some explanation. Theory and practice are often th…ought of as two di erent worlds, governed bydi erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that 'theoretically' is synonymous to 'not really'. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this two-world view is inadequate, and a more intimate interplay is required between theory and practice. That is, both theoretical and practical components should be integrated into a practical theory. It should beclearfrom theabovethattheintended readership of this book is not theoreticians. They would probably have di culties in appreciating a book on theory where the presentation does not proceed in a logical sequence from basic de nitions to theorems and mathematical proofs, followed by - plication examples. In fact, all this would not constitute what I understand by a practical theory in this context. 444 pp. Englisch.

Idioma: Inglés
Editorial: Springer Berlin Heidelberg 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Reino Kurki-Suonio has a PhD in mathematics from the University of Helsinki. He entered the field of computing in 1960. In 1965 he moved from industry to the University of Tampere to start the first computer… science department in Finland. In 1980 he was .

Idioma: Inglés
Editorial: Springer, Springer Vieweg Feb 2005 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a practical theory of reactive systems. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented languag…e, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors and on using horizontal modularity to manage their complexity. Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch.
Más imágenesIdioma: Inglés
Editorial: Springer 2005
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 16 de 45. Libro 16 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: Neu. A Practical Theory of Reactive Systems | Incremental Modeling of Dynamic Behaviors | R. Kurki-Suonio | Buch | Texts in Theoretical Computer Science. An EATCS Series | xxi | Englisch | 2005 | Springer | EAN 9783540233428 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heid…elberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.