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

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Dragan Bosnacki
Código Libristo: 02961433
Editoras Springer International Publishing AG, abril 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Descrição completa
? points 111 b
46.02 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Agility Kompakt Peter Hruschka / Livro Capa mole
common.buy 19.31 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Livro Capa mole
common.buy 8.79 €
Match Jones Bolt / Livro Livro de capa dura
common.buy 24.47 €
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Livro Capa mole
common.buy 11.02 €
Les Breves de Fin du Monde Noyé / Livro Capa mole
common.buy 8.18 €
Destruidor - Parte Nove Sky Corgan / E-book Adobe ePub DRM
common.buy 0.80 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Livro Capa mole
common.buy 44.41 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Livro Capa mole
common.buy 16.88 €
LEGO® City Joyeux Noël AMEET Studio / Livro Livro
common.buy 9.90 €
Postkarten-Set George Barbier George Barbier / Livro Capa mole
common.buy 5.05 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Livro Capa mole
common.buy 10.81 €
Legendes de Noel M G Lenotre / Livro Capa mole
common.buy 15.67 €
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Livro Capa mole
common.buy 5.25 €
Ajeduca 4. Escobar Domínguez / Livro Capa mole
common.buy 10.61 €
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Livro Capa mole
common.buy 29.02 €
CUARTO MOSQUETERO, EL Riccardo Freda / Livro Capa mole
common.buy 9.80 €
Moutons Et Colons En Patagonie Fernando Coronato / Livro Capa mole
common.buy 83.14 €
Ursprachlehre Friedrich Schmitthenner / Livro Livro de capa dura
common.buy 87.49 €
Psychologische Typen Carl G. Jung / Livro Capa mole
common.buy 52.69 €
François Truffaut Robert Ingram / Livro Livro de capa dura
common.buy 12.53 €

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

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 Model Checking Software
Autor Dragan Bosnacki, Anton Wijs
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 245
EAN 9783319325811
ISBN 3319325817
Código Libristo 02961433
Editoras Springer International Publishing AG
Peso 4044
Dimensões 155 x 235 x 235

Categorias

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

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Livro Livro de capa dura
common.buy 91.84 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Livro Capa mole
common.buy 11.22 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Livro Capa mole
common.buy 7.27 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Livro Capa mole
common.buy 13.24 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Livro Capa mole
common.buy 13.34 €
The Darkest King: William's Story Gena Showalter / Livro Capa mole
common.buy 6.97 €
Shadow Lost D K Holmberg / Livro Capa mole
common.buy 11.02 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Livro Livro de capa dura
common.buy 64.93 €
Missouri Birds James Kavanagh / Livro Capa mole
common.buy 7.78 €
Principal
The Architect's Apprentice Elif Shafak / Livro Capa mole
common.buy 11.62 €
Modern Feminist Theory Jennifer Rich / Livro Capa mole
common.buy 13.24 €
Alcoholism Ernest Holmes / Livro Capa mole
common.buy 8.08 €
The Cheyenne Pool Lewis B Patten / Livro Livro de capa dura
common.buy 35.80 €
Mediterranean Ecosystems G. Spezie / Livro Capa mole
common.buy 183.39 €
Roman Catholic Modernists Confront the Great War C. Talar / Livro Livro de capa dura
common.buy 50.57 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Livro Livro de capa dura
common.buy 31.05 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Livro Capa mole
common.buy 12.63 €
Bears Don't Read! Emma Chichester Clark / Livro Livro de capa dura
common.buy 13.24 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Livro Livro de capa dura
common.buy 107.12 €
Principal Novo
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Livro Livro de capa dura
common.buy 29.83 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Livro Capa mole
common.buy 91.84 €
Wiel Arets - Bas Princen John Bezold / Livro Livro de capa dura
common.buy 77.27 €

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?