Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Leila Ribeiro
Libristo kód: 15195023
Nakladateľstvo Springer International Publishing AG, november 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Celý popis
? points 125 b
51.53 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

SPA-RIGBY PM COLECCION Rigby / Kniha Pevná
common.buy 77.05 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Kniha Brožovaná
common.buy 13.00 €
Leber und Galle entgiften und stärken Angela Fetzner / Kniha Pevná
common.buy 19.76 €
Objavujeme svet! RODINA neuvedený autor / Kniha Leporelo
common.buy 7.15 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Kniha Brožovaná
common.buy 22.48 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Kniha Pevná
common.buy 25.81 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Kniha Kniha
common.buy 17.34 €
Influencia del Señor Buda en Rabindranath Tagore / Kniha Brožovaná
common.buy 49.72 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Kniha Brožovaná
common.buy 14.41 €
Antony Alexandre Dumas / Kniha Brožovaná
common.buy 6.65 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Kniha Brožovaná
common.buy 16.53 €
Noc dlouhých nožů Roman Cílek / Kniha Brožovaná
common.buy 5.13 €
Paul Lincke Jan Kutscher / Kniha Pevná
common.buy 44.17 €
Excel 2013 en profundidad María Pérez Marques / Kniha Brožovaná
common.buy 40.84 €
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Kniha Brožovaná
common.buy 23.69 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Kniha Brožovaná
common.buy 52.94 €

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods: Foundations and Applications
Autor Leila Ribeiro, Thierry Lecomte
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2016
Počet strán 253
EAN 9783319498140
ISBN 3319498142
Libristo kód 15195023
Nakladateľstvo Springer International Publishing AG
Váha 4044
Rozmery 155 x 235 x 16

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačová 3D grafika a modelovanie
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Top
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Kniha Brožovaná
common.buy 9.67 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Kniha Brožovaná
common.buy 43.77 €
Ostentation Pamelia Barratt / Kniha Brožovaná
common.buy 14.01 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Kniha Brožovaná
common.buy 11.29 €
Urfspace Chuck Whelon / Kniha Brožovaná
common.buy 23.79 €
Pripravujeme
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Kniha Brožovaná
common.buy 21.47 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Kniha Brožovaná
common.buy 18.04 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Kniha Pevná
common.buy 34.49 €
THE RAINBOW FEATHER FERGUS HUME / Kniha Pevná
common.buy 31.76 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?