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 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods: Foundations and Applications Adenilso Simao
Código Libristo: 01659166
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Descrição completa
? points 146 b
60.29 €
Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Die Polysaccharide Hans Pringsheim / Livro Capa mole
common.buy 81.17 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Livro Capa mole
common.buy 31.00 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Livro Capa mole
common.buy 23.10 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Livro Capa mole
common.buy 15.39 €
Principal
Mágikus világok Johanna Basford / Livro Capa mole
common.buy 10.83 €
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiolivro MP3
common.buy 5.97 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Livro Capa mole
common.buy 18.94 €
El profesor de inglés Wang Gang / Livro Capa mole
common.buy 20.16 €
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Livro Capa mole
common.buy 14.28 €
Das Gehirn Marc Dingman / Livro Livro de capa dura
common.buy 15.90 €
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Livro Capa mole
common.buy 6.78 €
Principal
Jak napsat dobrý scénář Syd Field / Livro Livro de capa dura
common.buy 10.63 €
Piensa, es gratis Joaquín Lorente Soler / Livro Capa mole
common.buy 17.22 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Livro Capa mole
common.buy 36.68 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Livro Capa mole
common.buy 23.81 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Livro Capa mole
common.buy 41.74 €
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Livro Capa mole
common.buy 12.76 €
Geometry and Differential Geometry Rafael Artzy / Livro Capa mole
common.buy 47.52 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Livro Capa mole
common.buy 34.04 €
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Livro Folha
common.buy 13.77 €
Kameny a hvězdy Václav Cílek / Livro Livro de capa dura
common.buy 12.15 €

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Adenilso Simao, Carroll Morgan
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 205
EAN 9783642250316
ISBN 3642250319
Código Libristo 01659166
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 338
Dimensões 155 x 235 x 15

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 > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
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

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Livro Capa mole
common.buy 160.12 €
Mister Rainbow C. S. Boag / Livro Capa mole
common.buy 29.89 €
Solar Eclipse Daniel Greene / Livro Capa mole
common.buy 8.00 €
The Automobile Green Book Automobile Legal Association / Livro Capa mole
common.buy 15.70 €
The Sleep Gas / Livro Capa mole
common.buy 16.51 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Livro Capa mole
common.buy 11.04 €
LEGO Star Wars Awesome Vehicles DK / Livro Livro de capa dura
common.buy 13.77 €
Valuing Films L. Hubner / Livro Capa mole
common.buy 53.30 €
Pro Angular Adam Freeman / E-book Adobe ePub DRM
common.buy 63.13 €
Aesops Fables Jerry Pinkney / Livro Livro de capa dura
common.buy 14.48 €
Puzzle Ignacio Gonz Li N / Livro Capa mole
common.buy 12.15 €
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Livro Livro de capa dura
common.buy 291.66 €
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Livro Capa mole
common.buy 18.33 €
National Uncanny Renee L. Bergland / Livro Capa mole
common.buy 24.21 €
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Livro Capa mole
common.buy 21.27 €
The World's Fastest Level Up (Manga) Vol. 1 Fame / Livro Capa mole
common.buy 9.92 €
Rota Fortunae THIRTEEN O'CL PRESS / Livro Capa mole
common.buy 13.27 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Livro Livro de capa dura
common.buy 308.79 €
Alice Hugo Vickers / Livro Capa mole
common.buy 18.84 €
Biometric Recognition Wei Jia / Livro Capa mole
common.buy 95.15 €
Accessible Assessment and Pedagogies Linda J. Graham / Livro Capa mole
common.buy 56.34 €

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?