Verificar estado da encomenda

Verificar estado da encomenda

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

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

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Automatic Verification of Sequential Infinite-State Processes Burkart

Automatic Verification of Sequential Infinite-State Processes

O. (University of Dortmund

Língua

Inglês

Livro Capa mole

Livro Automatic Verification of Sequential Infinite-State Processes Burkart

Código Libristo: 06615459

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dezembro 1997

This monograph provides information for theoreticians interested in algebraic theories, as well as f... Descrição completa

Código Libristo: 06615459

?

points

118 b

48.71 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild

/

Capa mole

50.02 €

Der Reisende Ulrich Alexander Boschwitz

/

Adobe ePub DRM

9.87 €

Spirit Island: Natur Erwacht (Erweiterung)

/

Jogo

44.07 €

Die Reiniger Henk Wester

/

Capa mole

16.43 €

porte dell'Ade. Eroi. La dea della luce Ivano Locatelli

/

Livro de capa dura

15.52 €

EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE

/

Livro de capa dura

15.93 €

Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira

/

Capa mole

40.25 €

Genie venge, poeme GUYETAND-C-M

/

Capa mole

12.30 €

Andare per la Sicilia dei greci Franco La Cecla

/

Capa mole

11.89 €

Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur

/

Capa mole

26.42 €

L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea

/

Capa mole

24.40 €

Agenda 21 Local Et Sig Didier Jean Yemba

/

Capa mole

24.40 €

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

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 Automatic Verification of Sequential Infinite-State Processes

Autor Burkart, O. (University of Dortmund, Germany)

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1997

Número de páginas 176

EAN 9783540639824

ISBN 9783540639824

Código Libristo 06615459

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 284

Dimensões 155 x 235 x 10

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 > Arquitetura informática e conceção lógica

Matemática & ciência > Matemá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

U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola

/

Capa mole

20.16 €

Blue Yonder Justine Davis Randers-Pehrson

/

Capa mole

14.41 €

National Intelligencer Newspaper Abstracts Joan M Dixon

/

Capa mole

43.36 €

Cyprus Robert Hamilton Lang

/

Capa mole

27.53 €

Coexistence Danny Rittman

/

Capa mole

11.79 €

Empty Nest Karen Stabiner

/

Livro de capa dura

26.42 €

Media and the Transformation of Religion in South Asia Lawrence A. Babb

/

Livro de capa dura

81.69 €

Companion to Modern Art Pam Meecham

/

Livro de capa dura

184.37 €

12 Critical Things Your Family Needs to Know Mark Gavagan

/

Capa mole

16.43 €

Combinatorial Pattern Matching Alberto Apostolico

/

Capa mole

48.71 €

Gin and Gingerbread Elizabeth Jeffrey

/

Capa mole

27.22 €

Darkest Star Jennifer L. Armentrout

/

Capa mole

11.89 €

Damaged Bonds Michael Eigen

/

Livro de capa dura

171.16 €

Three Men in a Boat K. Jerome

/

Capa mole

17.14 €

Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International

/

Capa mole

4.13 €

American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson

/

Capa mole

23.89 €

Fundamentals of Statistical Inference Norbert Hirschauer

/

Capa mole

53.95 €

Traffic Engineering Franco Callegati

/

Livro de capa dura

33.28 €

A History of German in 101 Words Charles V. J. Russ

/

Capa mole

51.13 €

Shake Hands With The Devil Romeo Dallaire

/

Capa mole

12.90 €

Between Slavery and Freedom Bill E. Lawson

/

Capa mole

16.94 €

History of the Incas Pedro Sarmiento de Gamboa

/

Capa mole

29.04 €

How to Draw Scott Robertson

/

Livro de capa dura

36.81 €

Cambridge Introduction to the Old Norse-Icelandic Saga Margaret Clunies Ross

/

Livro de capa dura

122.94 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?