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 Methods: Foundations and Applications

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods: Foundations and Applications Simone Cavalheiro
Código Libristo: 18312709
Editoras Springer International Publishing AG, novembro 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Descrição completa
? points 145 b
59.84 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Strukturwandel der Öffentlichkeit Jürgen Habermas / Livro Capa mole
common.buy 17.41 €
Web-Kommunikation MIT Opensource Claus Möbus / Livro Livro de capa dura
common.buy 42.12 €
Dämmersee Ulrike Brauns / Livro Capa mole
common.buy 12.75 €
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Livro Capa mole
common.buy 11.74 €
Mütter Europas Karin Bojs / Livro Livro de capa dura
common.buy 20.55 €
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Livro Livro de capa dura
common.buy 7.79 €
Il riassorbimento radicolare: Una revisione Parul Bansal / Livro Capa mole
common.buy 39.38 €
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Livro Capa mole
common.buy 47.38 €
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Livro Capa mole
common.buy 31.38 €
Principal
Oliva Denaro Viola Ardone / Livro Capa mole
common.buy 17.31 €
Puzzle 1000 Paryż o świcie / Jogo/brinquedo Brinquedo
common.buy 4.75 €
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Livro Capa mole
common.buy 26.22 €
ITURBIDE DE MEXICO SPENCE ROBERTSON / Livro Livro
common.buy 22.88 €
Un écologiste ne devrait pas dire cela Lesaffre / Livro Capa mole
common.buy 13.56 €
5 WALTZES PIANO MUZIO CLEMENTI Livro binding.
common.buy 20.55 €
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Livro binding.
common.buy 36.75 €
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Livro Livro de capa dura
common.buy 18.52 €
Le Raisonnement de l'ours Vincent Descombes / Livro Capa mole
common.buy 25.61 €
Principal
Aktfotografie Hannes Caspar / Livro Livro de capa dura
common.buy 33.61 €
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Livro Capa mole
common.buy 12.55 €
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Livro Capa mole
common.buy 19.94 €

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

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 Methods: Foundations and Applications
Autor Simone Cavalheiro, José Fiadeiro
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 305
EAN 9783319708478
ISBN 3319708473
Código Libristo 18312709
Editoras Springer International Publishing AG
Peso 4803
Dimensões 155 x 235 x 18

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
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

Green Technologies and Environmental Sustainability Sanjeev Kumar / Livro Capa mole
common.buy 183.58 €
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Livro Livro de capa dura
common.buy 150.26 €
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Livro Capa mole
common.buy 44.04 €
Move Up the Mountain JOYCE SOUTH BENNETT / Livro Capa mole
common.buy 16.39 €
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Livro Capa mole
common.buy 7.99 €
Journey to Mars: Blood is Forever Tim Conley / Livro Capa mole
common.buy 7.28 €
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Livro Capa mole
common.buy 11.03 €
Childhood Regained: Canadian Schools Edition Jodie Renner / Livro Capa mole
common.buy 14.37 €
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Livro Capa mole
common.buy 14.07 €
Fluffy's Outdoor Adventure Shaley M Elle / Livro Capa mole
common.buy 6.07 €
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Livro Capa mole
common.buy 16.39 €
Frankie Finds A Friend Paula-Michelle Trotter / Livro Capa mole
common.buy 8.80 €
Activating God's Power in Tyler Michelle Leslie / Livro Capa mole
common.buy 8.80 €
Shape-Preserving Approximation by Real and Complex Polynomials Sorin G. Gal / Livro Livro de capa dura
common.buy 46.06 €
Man-made Famine in the Ukraine Robert Conquest / Livro Capa mole
common.buy 8.09 €
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Livro Capa mole
common.buy 42.01 €
Living in the World Ronald C. Jantz / Livro Livro de capa dura
common.buy 30.17 €
Marx in Paris, 1871 Olivier Besancenot / Livro Livro de capa dura
common.buy 30.57 €
Animal Crossing Helmer Lud / Livro Capa mole
common.buy 10.32 €
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-book Adobe ePub DRM
common.buy 91.02 €
Healthy, My Way Nguyen / Livro Livro de capa dura
common.buy 20.34 €
Nurse's Drug Guide 2024 Shields / Livro Capa mole
common.buy 77.15 €
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Livro Capa mole
common.buy 61.46 €
Bespelled Laura Thalassa / Livro Capa mole
common.buy 9.41 €

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?