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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Using Event-B for Critical Device Software Systems Keith Glover

Using Event-B for Critical Device Software Systems

Língua

Inglês

Livro Capa mole

Livro Using Event-B for Critical Device Software Systems Keith Glover

Código Libristo: 32284073

Editoras Createspace Independent Publishing Platform, agosto 2017

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and... Descrição completa

Código Libristo: 32284073

?

points

92 b

38.17 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg

/

Livro de capa dura

19.74 €

LOS SOTANOS DE LA TIERRUCA LAMOILE MARTINEZ

/

Capa mole

27.34 €

Al centro della terra. A piedi sul cammino minerario di Santa Barbara in Sardegna Fabrizio Ardito

/

Capa mole

15.99 €

Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд. В. Г. Кахикало

/

Livro de capa dura

55.70 €

Ako si vycvičit draka – Začíname čítať - Noví priatelia

/

Livro de capa dura

6.37 €

Pierres Roulées - Rhodonite du Pérou - Sachet 500 grs

/

binding.

34.02 €

LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE - Nicole Blondeau

/

CD de áudio

25.11 €

Die Naturliche Theologie (1882) Alfred Barry

/

Livro de capa dura

39.19 €

Belgrad - 1.000 Teile (Puzzle)

/

Jogo

26.32 €

Vita quotidiana dei Bastardi di Pizzofalcone Maurizio De Giovanni

/

Capa mole

16.50 €

Finanzas para emprendedores ANTONIO MANZANERA ESCRIBANO

/

Capa mole

26.53 €

Robby aus der Räuberhöhle, 1 Audio-CD Barbara Landbeck

/

CD de áudio

9.21 €

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health do

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 Using Event-B for Critical Device Software Systems

Autor Keith Glover

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2017

Número de páginas 334

EAN 9781981128860

ISBN 1981128867

Código Libristo 32284073

Editoras Createspace Independent Publishing Platform

Peso 775

Dimensões 216 x 280 x 18

Categorias

Informática & tecnologia da informação > Ciência informática > Modelagem e simulação 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

Czech Renaissance folk songs for DADGAD Guitar Ondrej Sarek

/

Capa mole

10.42 €

Flagship Mike Carlton

/

Capa mole

18.32 €

Albertus Magnus and the World of Nature Kenneth F. Kitchell Jr

/

Livro de capa dura

16.40 €

Handbook of Research on Herbal Liver Protection T. Pullaiah

/

Livro de capa dura

242.36 €

Be With Me Amy Jindra

/

Capa mole

12.55 €

Subject of Human Rights Danielle Celermajer

/

Livro de capa dura

124.57 €

Governing Partners Russell L Hanson

/

Livro de capa dura

181.49 €

Windows on Literacy Language, Literacy & Vocabulary Fluent Plus (Science): Life Cycles of Animals National Geographic Learning

/

Capa mole

20.75 €

Encephalitis Lethargica Paul Bernard Foley

/

Capa mole

214.10 €

99 Tips to Get Better at Spearfishing Levi Brown

/

Capa mole

20.96 €

Red Wyvern Katharine Kerr

/

Capa mole

13.36 €

A Critical Examination of the Question in Regard to the Time of Our Saviour's Crucifixion Jeremiah Knight Aldrich

/

Capa mole

18.22 €

Fugitives Donald Campbell

/

Capa mole

8.80 €

Immigration in Modern Times - the What, the Where and the How Patrick Chu

/

Capa mole

9.92 €

Pearson REVISE Edexcel GCSE Maths Higher Revision Workbook - 2023 and 2024 exams Navtej Marwaha

/

Capa mole

9.71 €

Handbook of Research on Artificial Intelligence, Innovation and Entrepreneurship Elias G Carayannis

/

Livro de capa dura

262.82 €

Pretentiousness: Why It Matters Dan Fox

/

Capa mole

11.64 €

Nebeski Putnici Bepina Pincic

/

Capa mole

11.84 €

Beijing Bastard Val Wang

/

Capa mole

11.33 €

Beyond the Science/Religion Debate Guido O Perez MD

/

Capa mole

10.42 €

Hilary Putnam James Conant

/

Capa mole

71.60 €

Teaching North American Environmental Literature Laird Christensen

/

Capa mole

43.14 €

Automating Building Energy Management for Accelera ted Building Decarbonization James (University of California Santa Cruz Extension) Kempf

/

Livro de capa dura

102.39 €

Social Information Technology Terry Kidd

/

Livro de capa dura

171.87 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?