LIBRISTO
LIBROAMANTO
obbligatorio
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 €
Bartolini 4.49 Punto Poste 5.49 Punto Poste 5.49 Punto Bartolini 3.49 DHL 6.99 GLS 5.99 Punto GLS 4.49

Spedizione gratuita per ordini superiori a 69,99 euro.

From Programs to Systems - The Systems Perspective in Computing

ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro From Programs to Systems - The Systems Perspective in Computing Saddek Bensalem
Codice Libristo: 02530702
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in ho... Descrizione completa
? points 141 b
57.79
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso


I clienti hanno acquistato anche


AMOR PROGRAMABLE 01 Kayoru / Libro In brossura
common.buy 10.69
Najdi svůj styl Alexandra Fráňová / Libro Rigido
common.buy 2.59
Mein Schulgeist Hanako - Artbook AidaIro / Libro Rigido
common.buy 30.29
I migliori
Druhá tvár Ashley Audrain / Libro Rigido
common.buy 4.09
Zniknięty ksiądz. Moja historia Marcin Adamiec / Libro In brossura
common.buy 10.29
Czytanie ze zrozumieniem Testy sprawdzające część 1 Klimkiewicz Danuta / Libro In brossura
common.buy 1.59
Tantra-Yoga Kalashatra Govinda / Libro Rigido
common.buy 26.09

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. §Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems, and formal methods more generally. The book contains 18 papers covering various topics related to the extension of programming theory to systems.

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.
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


I migliori
Sketching The Basics Koos Eissen / Libro In brossura
common.buy 14.29
Replay Ken Grimwood / Libro In brossura
common.buy 12.49
I migliori
Oxford History of Poland-Lithuania Robert I. Frost / Libro In brossura
common.buy 52.29
Ignite Angel Payne / Libro In brossura
common.buy 15.49
I migliori
Star Wars - The Rebel Files Daniel Wallace / Libro Rigido
common.buy 16.89
At Home in the English Countryside Susanna Salk / Libro Rigido
common.buy 46.59
Cats & Kittens Marcel George / Pubblicazioni cartacee Carte
common.buy 16.79
I migliori
World's End Harem, Vol. 2 Kotarou Shouno / Libro In brossura
common.buy 11.19
Possessed Elif Batuman / Libro In brossura
common.buy 12.49
Knights and Castles: Castle Life Laura Durman / Libro In brossura
common.buy 11.69
I migliori
Acupuncture Points on the Horse Dr Gene C Bruno / Libro In brossura
common.buy 85.59
Color With Me! Mom & Me Coloring Book: Winter Sandy Mahony / Libro In brossura
common.buy 8.79
Educated Tara Westover / Libro In brossura
common.buy 24.29
Excellence in People Analytics David Green / Libro In brossura
common.buy 46.89
I migliori
A Sign of Affection 1 Suu Morishita / Libro In brossura
common.buy 11.19
Lucky List S&S Books for Young Readers Author To Be Announced / Libro In brossura
common.buy 9.19
I migliori
Natural Magick LINDSAY SQUIRE / Libro In brossura
common.buy 16.89
Good Enough Job Simone Stolzoff / Libro In brossura
common.buy 19.09
ONE YEAR'S OUTLINES OF WORK IN FIRST PRI FLORA JULIETT COOKE / Libro Rigido
common.buy 30.79
Fault-tolerant Control Systems Hassan Noura / Libro In brossura
common.buy 113.19

Accesso

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

 
obbligatorio
obbligatorio

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?