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

Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Formal Techniques for Safety-Critical Systems Cyrille Artho
Código Libristo: 15789087
Editoras Springer International Publishing AG, fevereiro 2017
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... Descrição completa
? points 132 b
54.38 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Faeries 20 Special Legende Arthurienne collegium / Livro Capa mole
common.buy 11.92 €
CONTES D'ICI ET D'AILLEURS Collectif / Livro Capa mole
common.buy 5.75 €
Textes liturgiques de l'Église de Rome Antoine Chavasse / Livro Capa mole
common.buy 34.97 €
Anciennes et nouvelles aristocraties de 1880 à nos jours Livro Capa mole
common.buy 42.65 €
Gesunder Pferdeverstand fur Menschen Linda Weritz / E-book Adobe ePub DRM
common.buy 8.18 €
ENFERMERAS/OS DEL SERVICIO DE SALUD DE LA COMUNIDAD DE MADRID. TEMARIO VOLUMEN I NO DISPONIBLE / Livro Livro de capa dura
common.buy 38.71 €
Der inoffizielle Adventskalender für alle Fans von Michael Patrick Kelly / Livro Livro de capa dura
common.buy 23.75 €
Paul z Duny Brian Herbert / Livro Livro de capa dura
common.buy 21.12 €
Polski SOR. Uwaga, będzie bolało Jan Świtała / Livro Capa mole
common.buy 10.40 €
Filmmusik Anselm C. Kreuzer / Livro Capa mole
common.buy 61.76 €
Interpretation zweier ausgewahlter Texte Alexander Kluges Oliver Borszik / Livro Capa mole
common.buy 17.07 €
indische Kaste - Die Aktualitat des Begriffs im geschichtlichen Wandel Server Purtov / Livro Capa mole
common.buy 17.07 €
Leistungsbewertung Felix Winter / Livro Capa mole
common.buy 19.91 €
Les Quarante-Cinq - Tome 1 Alexandre Dumas p / Livro Capa mole
common.buy 19.00 €
Beitrage zur Naturgeschichte der Tardigraden Ludwig Plate / Livro Capa mole
common.buy 12.42 €
Urban Land Use Planning and Management in Ethiopia Engida E. Dube / Livro Capa mole
common.buy 59.84 €
Les Fautes d'Un Diplomate Portugais Dans La Question de l'Emprunt 1832 (Ed.1882) Sans Auteur / Livro Capa mole
common.buy 14.55 €
Reglamento De Correos Del Peru: Y Diccionario Geográfico De Las Diversas Ciudades Y Otros Pueblos De La República Y De Algunos De Las De Chile, Bolivi Peru / Livro Capa mole
common.buy 18.39 €
La música de les tenebres NORMA STURNIOLO / Livro Capa mole
common.buy 11.31 €
Matematika 7 Shodnost geometrických útvarů, souměrnosti Michaela Jedličková / Livro Capa mole
common.buy 3.63 €
Saint Norbert, Archeveque de Magdebourg Et Fondateur de l'Ordre Des Chanoines Premontres SANS AUTEUR / Livro Capa mole
common.buy 19.30 €
When Amber shines in Neon Light Ogeretsu Tanaka / Livro Capa mole
common.buy 8.28 €
Die Versuchung des Herzogs Christi Caldwell / Livro Capa mole
common.buy 11.11 €
Köln - 1.000 Teile (Puzzle) / Jogo/brinquedo Jogo
common.buy 31.43 €

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

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 Formal Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 161
EAN 9783319539454
ISBN 3319539450
Código Libristo 15789087
Editoras Springer International Publishing AG
Peso 2759
Dimensões 155 x 235 x 10

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
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 > 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

Connect With Math Grade 1: Greatways To Teach And Learn Patricia Pedigo / Livro Capa mole
common.buy 9.39 €
Truth and Tales FIONA SOMERSET / Livro Capa mole
common.buy 40.02 €
Comprehensive Curriculum of Basic Skills, Grade 4 Thinking Kids / Livro Capa mole
common.buy 15.76 €
Gates of the City of London Alan Brooke / Livro Capa mole
common.buy 18.19 €
Design of Hybrid Molecules for Drug Development Michael Decker / Livro Capa mole
common.buy 217.34 €
Adaptive Intelligence STERNBERG ROBERT J. / Livro Livro de capa dura
common.buy 95.63 €
New Insights Myrna Badgerow / Livro Capa mole
common.buy 9.59 €
Voice of Reason Burton Frederick Porter / Livro Capa mole
common.buy 175.49 €
Jojo Meets Cristo Gina Ann / Livro Capa mole
common.buy 9.19 €
A Few Poems From Words I Found In Divorced Tony Haynes / Livro Capa mole
common.buy 9.39 €
Less Different Than the Same Patricia J Boysen / Livro Capa mole
common.buy 13.54 €
How to Conquer Sugar Addiction: How to Resist the Urge to Eat Sweet Treats Andrea Browne / Livro Capa mole
common.buy 9.39 €
2011 National Survey of Fishing, Hunting, and Wildlife-Associated Recreation?Massachusetts U S Fish and Wildlife Service and U S / Livro Capa mole
common.buy 15.76 €
Poems Of The Heart Dave Thompson / Livro Capa mole
common.buy 12.12 €
Color In Perspective Nicholas Petine / Livro Capa mole
common.buy 10.30 €
The Rainmaker Shauna Allen / Livro Capa mole
common.buy 12.12 €
Principal
Dawn Octavia E. Butler / Livro Capa mole
common.buy 12.63 €
Sam Houston: Colossus in Buckskin George Creel / Livro Livro de capa dura
common.buy 48.62 €
Destination Death - A Horror Anthology CHRIS LIBERTY / Livro Livro de capa dura
common.buy 37.29 €
Em breve
Under Swiss Protection - Jewish Eyewitness Accounts from Wartime Budapest Timothy Snyder / Livro Capa mole
common.buy 30.62 €
Principal
Assassin's Quest (The Illustrated Edition) Robin Hobb / Livro Livro de capa dura
common.buy 33.45 €
Principal
Get ready for...: Flyers: Student's Book Petrina Cliff / Livro Capa mole
common.buy 18.29 €
Roles of Innovation in Competition Law Analysis Paul Nihoul / Livro Livro de capa dura
common.buy 184.49 €
Indestructible Jack H. Lucas / Livro Capa mole
common.buy 16.37 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?