SULJE VALIKKO

avaa valikko

Ana Cavalcanti | Akateeminen Kirjakauppa

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



Refinement Techniques in Software Engineering - First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazi
Ana Cavalcanti; Augusto Sampaio; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
FM 2009: Formal Methods - Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Ana Cavalcanti; Dennis Dams
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Procee
Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handlettering digital
Ana Luiza Cavalcanti
Rheinwerk Verlag GmbH (2019)
Pehmeäkantinen kirja
27,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Teoria Da Relação Jurídica Na Sociedade Da Informação: Internet, Negócio Jurídico, Direitos Intelectuais, Família e Empresa
Ana Elizabeth Lapa Wanderley Cavalcanti; Samyra Haydêe Dal Farra Naspolini; Jorge Shiguemitsu Fujita
Suzi K Edwards (2021)
Pehmeäkantinen kirja
14,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Engineering for Robotics
Ana Cavalcanti (ed.); Brijesh Dongol (ed.); Rob Hierons (ed.); Jon Timmis (ed.); Jim Woodcock (ed.)
Springer (2021)
Kovakantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Engineering for Robotics
Ana Cavalcanti (ed.); Brijesh Dongol (ed.); Rob Hierons (ed.); Jon Timmis (ed.); Jim Woodcock (ed.)
Springer (2022)
Pehmeäkantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Practice of Formal Methods - Essays in Honour of Cliff Jones, Part I
Ana Cavalcanti; James Baxter
Springer International Publishing AG (2024)
Pehmeäkantinen kirja
65,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Practice of Formal Methods - Essays in Honour of Cliff Jones, Part II
Ana Cavalcanti; James Baxter
Springer International Publishing AG (2024)
Pehmeäkantinen kirja
65,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A descoberta de Cauã
Ana Lucia Gobbi Cavalcanti
Ases Da Literatura (2024)
Pehmeäkantinen kirja
35,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro
Karin Breitman; Ana Cavalcanti
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil,
Paulo Borba (ed.); Ana Cavalcanti (ed.); Augusto Sampaio (ed.); Jim Woodcook (ed.)
Springer (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial
Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Housing Shaped by Labour
Chagas Cavalcanti; Ana Rosa
Jovis Verlag GmbH (2018)
Pehmeäkantinen kirja
53,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Propriedades funcionais da farinha de grãos de sorgo germinado
Daniela Dantas de Farias Leite; Mônica Tejo Cavalcanti; Adriano Sant'Ana Silva
Novas Edições Acadêmicas (2019)
Pehmeäkantinen kirja
70,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Organ Transplantation and Native Peoples : An Interdisciplinary Approach
Estevão Rafael Fernandes; Ana Karoline Nobrega Cavalcanti
Springer (2023)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Co
Dirk Beyer (ed.); Ana Cavalcanti (ed.)
Springer (2024)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Refinement Techniques in Software Engineering - First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazi
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 396 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 27.09.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations,givena speci?cation.Thus,in oneway or another, re?nement is at the heart of the programming process, and so is the major daily activity of everyprofessionalsoftwareengineer. The Summer School and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity. These proceedings record the contributions from the invited lecturers. Each chapter is the result of a thorough revision of the initial notes provided to the participants of the school. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing out di?erences in notation and approach, and providing links between the lectures. We apologize to the authors for any errors introduced by our extensive editing. Although the chapters are linked in severalways, each one is su?ciently se- contained to be read in isolation. Nevertheless, Chap. 1 should be read ?rst by those interested in an introduction to re?nement.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Refinement Techniques in Software Engineering - First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazi
Näytä kaikki tuotetiedot
ISBN:
9783540462538
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste