SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Ana Sampaio | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 11 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
Testing Techniques in Software Engineering - Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil,
Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcook
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Presença de leishmania infantum em ninfas de Rhipicephalus sanguineus
Sampaio Feitosa Ana Paula; Alves Luiz Carlos; Cartaxo Muniz Maria Tereza
Novas Edicoes Academicas (2015)
Pehmeäkantinen kirja
66,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Galactana sulfatada da alga marinha vermelha Gelidium crinale
Sampaio Assreuy Ana Maria
Novas Edicoes Academicas (2015)
Pehmeäkantinen kirja
84,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Belé Salsicha
Ana Sampaio
Viajante Do Tempo (2021)
Pehmeäkantinen kirja
32,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Atividade anti-inflamatória de polissacarídeos de plantas medicinais
Assreuy Ana Maria Sampaio
Novas Edicoes Academicas (2014)
Pehmeäkantinen kirja
63,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recorded Places, Experienced Places - The Holocene rock art of the Iberian Atlantic north-west
Ana M.S Bettencourt; Manuel Santos-Estévez; Hugo A. Sampaio; Daniela Cardoso
BAR Publishing (2017)
Pehmeäkantinen kirja
125,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Linear Electronics
Marcelo Sampaio de Alencar; Raphael Tavares de Alencar; Raissa Bezerra Rocha; Ana Isabela Cunha
River Publishers (2020)
Kovakantinen kirja
133,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Weapons and Tools in Rock Art: A World Perspective
Ana M. S. Bettencourt; Manuel Santos-Estévez; Hugo Aluai Sampaio
Oxbow Books Limited (2021)
Kovakantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
O Brincar Como Possibilidade de Desenvolvimento Infantil
Ana Paula Sampaio Barbosa; Maristela Rossato
Novas Edicoes Academicas (2018)
Pehmeäkantinen kirja
131,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Linear Electronics
Marcelo Sampaio de Alencar; Raphael Tavares de Alencar; Raissa Bezerra Rocha; Ana Isabela Cunha
River Publishers (2024)
Pehmeäkantinen kirja
59,40
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 4-5 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