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 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €
phone Contacto phoneComo comprar

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods for Executable Software Models Marco Bernardo
Código Libristo: 02667827
Editoras Springer International Publishing AG, maio 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Descrição completa
? points 132 b
54.06 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

CIMT - Constraint Induced Movement Therapy Sabine Lamprecht / E-book Adobe ePub DRM
common.buy 44.21 €
Depression: quand la Tristesse devient Pathologique Juan Moises de la Serna / E-book Adobe ePub DRM
common.buy 6.12 €
Auge und die optische Abbildung Wiebke Gelder / Livro Capa mole
common.buy 16.97 €
Einfuhrung in die franzoesische Morphologie Nikolaus Schpak-Dolt / Livro Livro de capa dura
common.buy 25.41 €
Kabbyalipi / কাব্যলিপি Epul Hussain / Livro Capa mole
common.buy 15.87 €
Can't Hurt Me Peter Peschke / Livro Livro de capa dura
common.buy 19.59 €
Principal
Netzwerk neu B1.2 - Hybride Ausgabe allango Tanja Sieber / Livro Livro
common.buy 27.22 €
Principal
Две жизни. Часть II Конкордия Антарова / Livro Capa mole
common.buy 9.64 €
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Livro Capa mole
common.buy 13.15 €
Lunchbox na każdy dzień. Dookoła świata Bareła Malwina / Livro Livro de capa dura
common.buy 14.26 €
Collectivités territoriales - Cours et QCM en 60 fiches - Concours 2026-2027 Lebrun / Livro Livro
common.buy 15.77 €
Forgotten Reveries Darktribe / Áudio CD de áudio
common.buy 19.79 €
Roolinvaihdos - eroottinen novelli Cupido / Audiolivro MP3
common.buy 4.21 €
Tie vytúžené slová / Livro Capa mole
common.buy 18.48 €
Cinzerella - Tome 2 Alia San / Livro Capa mole
common.buy 43.60 €
Colores 1 Eria Krisztina Nagy Seres / Livro Capa mole
common.buy 12.85 €
Opere Di Raimondo Montecuccoli... Ugo Foscolo / Livro Capa mole
common.buy 30.34 €
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Livro Livro de capa dura
common.buy 42.60 €
Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY / Livro Capa mole
common.buy 14.26 €
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Livro Capa mole
common.buy 25.62 €
Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M / Livro Capa mole
common.buy 30.84 €
Fachdidaktik Deutsch Tatjana Jesch / Livro Capa mole
common.buy 26.62 €
Come Lasses and Lads (Traditional Chinese): 02 Zhuyin Fuhao (Bopomofo) Paperback Color H y Xiao Phd / Livro Capa mole
common.buy 34.36 €
Eckhart Tolle y la idiocracia: Descubre la doctrina y los efectos de "un gran maestro espiritual" Lucia Canovi / Livro Capa mole
common.buy 8.73 €

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.§SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.§

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 Methods for Executable Software Models
Autor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 343
EAN 9783319073163
ISBN 3319073168
Código Libristo 02667827
Editoras Springer International Publishing AG
Peso 5329
Dimensões 155 x 235 x 20

Categorias

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

Digital Media Rimon Elias / Livro Capa mole
common.buy 52.95 €
Primary Ovarian Insufficiency NANETTE F. SANTORO / Livro Capa mole
common.buy 116.16 €
Handbook of Environmental Toxicology J P F D′mello / Livro Livro de capa dura
common.buy 308.20 €
The Other Way to Listen Byrd Baylor / Livro Capa mole
common.buy 7.83 €
Physicality of the Other Angelika Berlejung / Livro Livro de capa dura
common.buy 247.81 €
Theory of Financial Relativity: Unlocking Market Mysteries that Will Make You a Better Investor Daniel R Moore / Livro Capa mole
common.buy 63.80 €
Honduras: Background and U.S. Relations Peter J Meyer / Livro Capa mole
common.buy 15.97 €
Lone Justice Ray Jackson / Livro Capa mole
common.buy 15.97 €
Macbeth Jo Nesbo / Livro Capa mole
common.buy 9.54 €
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Livro Livro de capa dura
common.buy 215.35 €
Principal
Assassinistas Tini Howard / Livro Capa mole
common.buy 17.48 €
Confessions: The Princess, the Prick & the Priest Ella Frank / Livro Capa mole
common.buy 18.78 €
Go on a Critter Scavenger Hunt Emily Kington / Livro Livro de capa dura
common.buy 30.74 €
Complete Photo Guide to Beading Robin Atkins / Livro Capa mole
common.buy 30.74 €
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Livro Capa mole
common.buy 10.54 €
Richard III Matthew Lewis / Livro Capa mole
common.buy 16.97 €
Travels to the Otherworld and Other Fantastic Realms Corinne Lecouteux / Livro Livro de capa dura
common.buy 29.33 €
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Livro Capa mole
common.buy 39.99 €
Principal
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Livro Capa mole
common.buy 13.86 €
Principal
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Livro Capa mole
common.buy 46.52 €
Between the Covers Louisa Masters / Livro Capa mole
common.buy 12.35 €
Official History of Britain: Our Story in Numbers as Told by the Office For National Statistics Boris Starling / E-book Adobe ePub DRM
common.buy 7.63 €
Dessert Person Claire Saffitz / E-book Adobe ePub DRM
common.buy 9.34 €
How Great Cities Happen John Stanley / Livro Livro de capa dura
common.buy 165.10 €

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?