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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Dragan Bosnacki
Código Libristo: 01564229
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Artigos impressos Partituras
common.buy 16.76 €
La Cascade Féerique, Audio-CD Michel Pépé / Áudio CD de áudio
common.buy 14.34 €
BilMoG und Interne Revision Alexander Hofem / Livro Capa mole
common.buy 24.75 €
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Livro Capa mole
common.buy 8.58 €
Erlebnis und Geschichte Edgar Feuchtwanger / Livro Capa mole
common.buy 27.68 €
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Livro Capa mole
common.buy 40.32 €

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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, Stefan Leue
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2002
Número de páginas 262
EAN 9783540434771
ISBN 3540434771
Código Libristo 01564229
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 472
Dimensões 155 x 235 x 16

Categorias

Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Grafismo em 3D e modelagem
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

Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Livro Capa mole
common.buy 24.65 €
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Livro Capa mole
common.buy 14.44 €
Picross Hanjie Griddlers Nonograms book Djape / Livro Capa mole
common.buy 10.30 €
Indictment of the American Clergy THOMAS WADE / Livro Capa mole
common.buy 13.13 €
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Livro Capa mole
common.buy 10.80 €
Lilith: the Legend of the First Woman Ada Langworthy Collier / Livro Capa mole
common.buy 16.46 €
The Queen's Gamble Barbara Kyle / Livro Capa mole
common.buy 14.84 €
French & Indian War Novels Joseph A. Altsheler / Livro Livro de capa dura
common.buy 36.67 €
Forever Words James Garvin / Livro Capa mole
common.buy 11.31 €
Shakespeare and Race Imtiaz Habib / Livro Livro de capa dura
common.buy 72.04 €
Social Structure Charles Crothers / Livro Livro de capa dura
common.buy 203.61 €
Power to the Patient Atlas / Livro Capa mole
common.buy 10.80 €
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Livro Livro de capa dura
common.buy 119.13 €
For Derrida J. Hillis Miller / Livro Capa mole
common.buy 48.60 €
Critical Dictionary of the French Revolution Francois Furet / Livro Livro de capa dura
common.buy 194.01 €
Modern Monetary Theory M.L. Burstein / Livro Capa mole
common.buy 98.92 €
Strangers In Death J. D. Robb / Livro Capa mole
common.buy 10.20 €

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