Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Using Event-B for Critical Device Software Systems

Lingua IngleseInglese
Libro In brossura
Libro Using Event-B for Critical Device Software Systems Keith Glover
Codice Libristo: 32284073
Casa editrice Createspace Independent Publishing Platform, agosto 2017
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and... Descrizione completa
? points 115 b
46.79 €
Magazzino esterno Inviamo tra 9-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg / Libro Rigido
common.buy 23.39 €
Al centro della terra. A piedi sul cammino minerario di Santa Barbara in Sardegna Fabrizio Ardito / Libro In brossura
common.buy 20.59 €
Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд. В. Г. Кахикало / Libro Rigido
common.buy 61.59 €
Ako si vycvičit draka – Začíname čítať - Noví priatelia / Libro Rigido
common.buy 7.59 €
LOS SOTANOS DE LA TIERRUCA LAMOILE MARTINEZ / Libro In brossura
common.buy 31.89 €
Pierres Roulées - Rhodonite du Pérou - Sachet 500 grs / Libro binding.
common.buy 42.49 €
Economico
LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE - Nicole Blondeau / Audio CD audio
common.buy 24.79 €
Die Naturliche Theologie (1882) Alfred Barry / Libro Rigido
common.buy 47.49 €
Belgrad - 1.000 Teile (Puzzle) / Gioco/giocattolo Gioco
common.buy 32.89 €
Vita quotidiana dei Bastardi di Pizzofalcone Maurizio De Giovanni / Libro In brossura
common.buy 21.29 €
Finanzas para emprendedores ANTONIO MANZANERA ESCRIBANO / Libro In brossura
common.buy 31.09 €
Robby aus der Räuberhöhle, 1 Audio-CD Barbara Landbeck / Audio CD audio
common.buy 11.39 €

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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Using Event-B for Critical Device Software Systems
Autore Keith Glover
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2017
Numero di pagine 334
EAN 9781981128860
ISBN 1981128867
Codice Libristo 32284073
Casa editrice Createspace Independent Publishing Platform
Peso 775
Dimensioni 216 x 280 x 18

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Modelli di simulazione per computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Czech Renaissance folk songs for DADGAD Guitar Ondrej Sarek / Libro In brossura
common.buy 12.69 €
Flagship Mike Carlton / Libro In brossura
common.buy 22.09 €
Albertus Magnus and the World of Nature Kenneth F. Kitchell Jr / Libro Rigido
common.buy 21.19 €
Handbook of Research on Herbal Liver Protection T. Pullaiah / Libro Rigido
common.buy 279.09 €
Be With Me Amy Jindra / Libro In brossura
common.buy 15.39 €
Subject of Human Rights Danielle Celermajer / Libro Rigido
common.buy 146.79 €
Governing Partners Russell L Hanson / Libro Rigido
common.buy 215.89 €
Windows on Literacy Language, Literacy & Vocabulary Fluent Plus (Science): Life Cycles of Animals National Geographic Learning / Libro In brossura
common.buy 24.29 €
Encephalitis Lethargica Paul Bernard Foley / Libro In brossura
common.buy 250.79 €
99 Tips to Get Better at Spearfishing Levi Brown / Libro In brossura
common.buy 25.69 €
Red Wyvern Katharine Kerr / Libro In brossura
common.buy 16.99 €
A Critical Examination of the Question in Regard to the Time of Our Saviour's Crucifixion Jeremiah Knight Aldrich / Libro In brossura
common.buy 21.49 €
Immigration in Modern Times - the What, the Where and the How Patrick Chu / Libro In brossura
common.buy 11.79 €
Fugitives Donald Campbell / Libro In brossura
common.buy 10.69 €
Handbook of Research on Artificial Intelligence, Innovation and Entrepreneurship Elias G Carayannis / Libro Rigido
common.buy 317.09 €
Pearson REVISE Edexcel GCSE Maths Higher Revision Workbook - 2023 and 2024 exams Navtej Marwaha / Libro In brossura
common.buy 11.19 €
Automating Building Energy Management for Accelera ted Building Decarbonization James (University of California Santa Cruz Extension) Kempf / Libro Rigido
common.buy 123.99 €
Pretentiousness: Why It Matters Dan Fox / Libro In brossura
common.buy 14.99 €
Nebeski Putnici Bepina Pincic / Libro In brossura
common.buy 14.19 €
Beijing Bastard Val Wang / Libro In brossura
common.buy 13.89 €
Beyond the Science/Religion Debate Guido O Perez MD / Libro In brossura
common.buy 13.49 €
Hilary Putnam James Conant / Libro In brossura
common.buy 85.09 €
Teaching North American Environmental Literature Laird Christensen / Libro In brossura
common.buy 48.89 €
Architectural Drawing Clothier Franklin Edminster / Libro Rigido
common.buy 33.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?