Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Formal Approaches to Software Testing Wolfgang Grieskamp
Código Libristo: 01562128
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2006
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... Descrição completa
? points 111 b
45.93 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

First Christmas Children's Book (Portuguese) Nate Books / Livro Capa mole
common.buy 19.99 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Livro Livro de capa dura
common.buy 11.30 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Livro Capa mole
common.buy 11.60 €
Pimpa - Pimpa y su gemela Pimpa Altan / E-book Adobe ePub DRM
common.buy 5.14 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Livro Capa mole
common.buy 6.86 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Livro Capa mole
common.buy 11.90 €
Love Monster. Potworek szuka miłości Bright Rachel / Livro Livro de capa dura
common.buy 6.96 €
Brasilien Stefan Zweig / Livro Livro de capa dura
common.buy 18.27 €
ricordo che non avevo Alberto Melis / Livro Capa mole
common.buy 18.16 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Livro Capa mole
common.buy 83.49 €
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone / Livro Capa mole
common.buy 26.75 €
First Impressions A guide to drawing materials / Vídeo DVD
common.buy 4.23 €
Journal d'un chat assassin (nouvelle édition) Fine / Livro Livro de capa dura
common.buy 9.38 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Livro Capa mole
common.buy 9.48 €
Industrietourismus in Deutschland Anja Schramm / Livro Capa mole
common.buy 58.05 €
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Livro Capa mole
common.buy 64.71 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Livro Capa mole
common.buy 56.44 €
De la maceta a la mesa McTernan / Livro Capa mole
common.buy 17.15 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Livro Capa mole
common.buy 89.25 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Audiolivro MP3
common.buy 2.51 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Livro Capa mole
common.buy 42.09 €

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Approaches to Software Testing
Autor Wolfgang Grieskamp, Carsten Weise
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2006
Número de páginas 219
EAN 9783540344544
ISBN 3540344543
Código Libristo 01562128
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 750
Dimensões 155 x 235 x 13

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Arquitetura da informação
Informática & tecnologia da informação > Equipamento informático > Manutenção e reparações
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Sistemas operativos
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Hybrid Systems: Computation and Control Rupak Majumdar / Livro Capa mole
common.buy 45.93 €
Electrocaloric Materials Tatiana Correia / Livro Livro de capa dura
common.buy 91.67 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Livro Capa mole
common.buy 17.56 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Livro Livro de capa dura
common.buy 164.37 €
Housing, Fuel Poverty and Health HEALY / Livro Capa mole
common.buy 61.78 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Livro Capa mole
common.buy 13.52 €
Exposed Shannon M. Deitz / Livro Capa mole
common.buy 9.78 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Livro Capa mole
common.buy 9.68 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Livro Capa mole
common.buy 7.66 €
Arthur and Friends Mikael Lindnord / Livro Capa mole
common.buy 12.61 €
Sophia Christina B O'Doherty / Livro Capa mole
common.buy 21.70 €
Achieving Buzzword Compliance DAVID C HAY / Livro Capa mole
common.buy 39.57 €
Michelin Sri Lanka Road & Tourist Map 803 / Artigos impressos Mapa
common.buy 11.10 €
Britain and Germany in the 20th Century Manfred Gortemaker / Livro Capa mole
common.buy 178.30 €
Gradations in Euclid Henry Green / Livro Capa mole
common.buy 27.96 €
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Livro Capa mole
common.buy 22.10 €
A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied / Livro Capa mole
common.buy 20.49 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Livro Capa mole
common.buy 6.86 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Livro Livro de capa dura
common.buy 137.41 €
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Livro Capa mole
common.buy 7.36 €
Obsessions of Lord Godfrey Cavanaugh Stephanie Laurens / Audiolivro MP3
common.buy 16.85 €
Principal
I Am Not Jessica Chen Ann Liang / Livro Capa mole
common.buy 7.06 €
Vulnerable Subjects G.Thomas Couser / Livro Capa mole
common.buy 44.01 €
Selected Works of George E. Andrews George E Andrews / Livro Livro de capa dura
common.buy 367.32 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?