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

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou
Código Libristo: 06841788
Editoras Springer International Publishing AG, outubro 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Descrição completa
? points 114 b
46.84 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing / Livro Capa mole
common.buy 33.61 €
Percevoir : monde et langage Socks / Calendário/Diário Calendário
common.buy 37.75 €
The Pug who wanted to be a Dinosaur Bella Swift / Livro Capa mole
common.buy 8.07 €
Económico
TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ / Livro Capa mole
common.buy 29.98 €
REVISTA TURIA 107 / Livro Livro
common.buy 16.15 €
a a a a a a a a a a a a Rider Tiger Rider / Audiolivro MP3
common.buy 2.92 €
Odontología deportiva: una perspectiva de futuro Ipseeta Menon / Livro Capa mole
common.buy 60.17 €
Huculskie peregrynacje weselne Świątek Adrianna / Livro Capa mole
common.buy 15.54 €
Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto / Livro Capa mole
common.buy 19.38 €
Mediunidade Trevas Ou Luz Ricardo Max / Livro Capa mole
common.buy 7.26 €
Pfadfinder Majo Probst / Livro Capa mole
common.buy 20.99 €
Love & Passion Jana Reich / Livro Capa mole
common.buy 20.28 €
Airport Simulator 2019 (PlayStation PS4) / Digital CD digital
common.buy 32.20 €
Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey / Livro Capa mole
common.buy 14.33 €
Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno / Livro Capa mole
common.buy 9.68 €
Der Europäische Verfassungsvertrag Klemens H. Fischer / Livro Capa mole
common.buy 76.42 €
Towards Ancestral Lands Fir Bolg / Áudio CD de áudio
common.buy 19.88 €
Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir / Livro Capa mole
common.buy 57.74 €
Mecanismes de Sequestration de la Tubuline Isabelle Jourdain / Livro Capa mole
common.buy 66.83 €
Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera / Livro Capa mole
common.buy 24.42 €
Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner / Livro Capa mole
common.buy 48.96 €
Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm / Livro Capa mole
common.buy 15.24 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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 Verified Software: Theories, Tools and Experiments
Autor Dimitra Giannakopoulou, Daniel Kroening
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 287
EAN 9783319121536
ISBN 3319121537
Código Libristo 06841788
Editoras Springer International Publishing AG
Peso 4569
Dimensões 155 x 235 x 15

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
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
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Mad Science of Golf Moore / Livro Capa mole
common.buy 19.28 €
Idylls of Hudson Park Gary Luhmann / Livro Capa mole
common.buy 25.03 €
Genealogies of Long Island Families, from The New York Genealogical and Biographical Record. In Two Volumes. Volume I Island Long Island / Livro Capa mole
common.buy 71.38 €
Webster's First Bunker Hill Oration, 1825 Andrew Jackson George Daniel Webster / Livro Capa mole
common.buy 10.79 €
Yusef; Or, the Journey of the Frangi. a Crusade in the East ... with Illustrations. J Ross Browne / Livro Capa mole
common.buy 24.53 €
The Indie Band Survival Guide Randy Chertkow / Livro Capa mole
common.buy 17.66 €
Lumberjanes Vol. 2 Noelle Stevenson / Livro Capa mole
common.buy 10.59 €
Enchanted April Arnim / Audiolivro MP3
common.buy 8.47 €
Understanding Chronic Pain Robert T. Cochran / Livro Capa mole
common.buy 13.12 €
1999 Abacus Year 1 / P2: Workbook Number 3 (8 pack) Ruth Merttens / Livro Capa mole
common.buy 25.43 €
Miscellaneous Essays and Occasional Writings of Francis Hopkinson, Esq Francis Hopkinson / Livro Livro de capa dura
common.buy 34.52 €
BLUE WATERS AND GREEN: AND THE FAR EAST FREDERICK DUM SMITH / Livro Livro de capa dura
common.buy 32.70 €
Far/Aim 2026 FAA / Livro Capa mole
common.buy 13.72 €
I Was Reincarnated as the 7th Prince so I Can Take My Time Perfecting My Magical Ability 5 Meru / Livro Capa mole
common.buy 9.38 €
Principles of Nuclear Medicine Majid Assadi / E-book Adobe ePub DRM
common.buy 156.09 €
English I - Andersson Fall 2017: /English 103 Lena Andersson / Livro Capa mole
common.buy 11.10 €
LibreOffice 5.2 Getting Started Guide Libreoffice Documentation Team / Livro Capa mole
common.buy 22.61 €
Rama Epic Forrest McGill / Livro Capa mole
common.buy 40.98 €
This legend was born in 1997 Star Note Books / Livro Capa mole
common.buy 6.05 €
Principal
Five Wounds - A Novel Quade / Livro Livro de capa dura
common.buy 19.58 €
Gathering The Fragments That Nothing Will Be Lost Linda Hunt / Livro Capa mole
common.buy 16.95 €
B. J. Harrison Reads David Copperfield Dickens / Audiolivro MP3
common.buy 13.32 €
Land Degradation C. J. Barrow / Livro Capa mole
common.buy 45.33 €
Multitrophic Level Interactions Teja Tscharntke / Livro Livro de capa dura
common.buy 130.64 €

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?