SULJE VALIKKO

avaa valikko

Jose Luiz Fiadeiro | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?



Categories for Software Engineering
Jose Luiz Fiadeiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques - 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1
José Luiz Fiadeiro; Pierre-Yves Schobbens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques - 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004,
José Luiz Fiadeiro; Peter Mosses; Fernando Orejas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Categories for Software Engineering
Jose Luiz Fiadeiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Se
José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue
Springer International Publishing AG (2014)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 201
José Luiz Fiadeiro; Ionuț Țuțu
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Business Process Management - 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings
Schahram Dustdar; José Luiz Fiadeiro; Amit Sheth
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Design Using Java 2
Kevin Lano; Jose Luiz Fiadeiro; Luis Filipe De Andrade
Palgrave USA (2002)
Pehmeäkantinen kirja
129,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Categories for Software Engineering
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 250 sivua
Asu: Kovakantinen kirja
Painos: 2005
Julkaisuvuosi: 2004, 18.10.2004 (lisätietoa)
Kieli: Englanti
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g. [6, 12, 22, 89, 105], to which a precious collection of little gems [90] and the chapter cum book [91] should be added). Isn't the working computer scientist spoilt with choice? Although each of the above mentioned books presents an approach of its own, there is one aspect in common in their view of computer science: the analogy between arrows (morphisms) and (classes of) computations. This "type-theoretic" or "functional" approach corresponds to a view of c- puter science as a science of computation, i. e. a discipline concerned with the study of computational phenomena where the focus is on the nature and organisation of computations. However, there is another view of computer science where the focus is, instead, on the development of computer programs or systems. This is the approach that supports, for instance, software engineering. From this point of view, arrows do not capture computational phenomena, or abstractions thereof, but instead relationships between programs, or abstractions of programs, that arise in the development of computer systems, for instance, refinement of higher-level specifications into executable programs [100, 104], and superposition of new features over existing systems [72].

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Categories for Software Engineeringzoom
Näytä kaikki tuotetiedot
ISBN:
9783540209096
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste