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

Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, Septe

Língua InglêsInglês
Livro Capa mole
Livro Critical Systems: Formal Methods and Automated Verification Laure Petrucci
Código Libristo: 16830591
Editoras Springer International Publishing AG, agosto 2017
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Me... Descrição completa
? points 132 b
54.40 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Consolidació comptable segons la normativa espanyola Rabasseda Tarrés / Livro Capa mole
common.buy 12.94 €
Goodnight, My Love! (English Romanian Bilingual Book) Kidkiddos Books / Livro Capa mole
common.buy 16.58 €
EVOCATIONS DE SLOVAQUIE CLARINETTE-PARTITION+PARTIES SEPAREES KAREL HUSA Artigos impressos Partituras
common.buy 59.56 €
Las mil lunas de una mala mar Sauras Matheu / Livro Capa mole
common.buy 18.90 €
Public Enemy : It Takes a Nation of Millions to Hold Us Back SALLE / Livro Capa mole
common.buy 16.17 €
Raha ja rakkaus - Taloudellinen väkivalta parisuhteessa Tiina Pollari / Livro Livro de capa dura
common.buy 42.47 €
Vergemeinschaftung in Zeiten Der Zombie-Apokalypse Michael Dellwing / Livro Capa mole
common.buy 39.94 €
Prinz Eisenherz. Gianni-Jahre Band 20 Gary Gianni / Livro Livro de capa dura
common.buy 22.34 €
Genc Sair Oguz Yildiz / Livro Capa mole
common.buy 14.86 €
Das Feld der Arbeit für das postmoderne Kreativsubjekt. Projektarbeit, Kreativität und Netzwerkgedanke Annika Landgrebe / Livro Capa mole
common.buy 17.08 €
Wirkungsweisen des Boesen und ihre Darstellung in Truman Capotes Kaltblutig und Andrea Maria Schenkels Tannoed Steffen Kutzner / Livro Capa mole
common.buy 17.08 €
Liederwolke / Artigos impressos Partituras
common.buy 12.23 €
10 Schritte zur erfolgreichen Existenzgründung Simone Janson / Livro Capa mole
common.buy 17.18 €
Analyse der Preiseffekte der EU-Bananenmarktordnung von 1993 Volker Omeis / Livro Capa mole
common.buy 45.30 €

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

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 Critical Systems: Formal Methods and Automated Verification
Autor Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 235
EAN 9783319671123
ISBN 331967112X
Código Libristo 16830591
Editoras Springer International Publishing AG
Peso 3869
Dimensões 155 x 235 x 14

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
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 > Teoria matemática da 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

Apologia Socratis Contra Meliti Redivivi Calumniam, Sive Judicium de Petri Gulielmi Forchammeri ... Libro, Inscripto Peter Wilhelm Socrates / Livro Capa mole
common.buy 20.12 €
Witchcraft And Second Sight In The Highlands And Islands Of Scotland John Gregorson Campbell / Livro Livro de capa dura
common.buy 46.82 €
How to make herbal teas and heal your body naturally Jessica Ross / Livro Capa mole
common.buy 7.68 €
The Best Ever Book of Leeds United Jokes: Lots and Lots of Jokes Specially Repurposed for You-Know-Who Mark Geoffrey Young / Livro Capa mole
common.buy 14.86 €
DARPA Model for Transformative Technologies Richard van Atta / Livro Capa mole
common.buy 45.80 €
NEW Worst-Case Scenario Survival Handbook David Borgenicht / Livro Livro de capa dura
common.buy 15.77 €
Uncle Tom's Cabin on the American Stage and Screen J. Frick / Livro Capa mole
common.buy 41.46 €
Poetry, Drifting with the Flow Doyle F Pugh / Livro Capa mole
common.buy 18.30 €
Spirituality in the Gospel of Thomas Hugh McGregor Ross / Livro Capa mole
common.buy 23.15 €
Memoirs of a Mormon Mistress & Victorian Housewife Jean' Clair James Labelle / Livro Capa mole
common.buy 14.96 €
Family, Community, and Higher Education Toby S. Jenkins / Livro Livro de capa dura
common.buy 244.34 €
The Light of Egypt; Or, the Science of the Soul and the Stars [Two Volumes in One] / Livro Livro de capa dura
common.buy 28.31 €
Low-Income Consumer Linda F. Alwitt / Livro Livro de capa dura
common.buy 90.20 €
Environmental Activism and World Civic Politics Paul Wapner / Livro Capa mole
common.buy 39.74 €
Past Caring Robert Goddard / Livro Capa mole
common.buy 12.63 €
Stanton Bliss T L Swan / Livro Capa mole
common.buy 10.31 €
An Open Letter to The United States Senate Committee A. N. Towne / Livro Livro de capa dura
common.buy 29.72 €

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?