Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer International Publishing AG, listopad 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

SPA-RIGBY PM COLECCION Rigby / Kniha Pevná
common.buy 1 767 Kč
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Kniha Brožovaná
common.buy 315 Kč
Leber und Galle entgiften und stärken Angela Fetzner / Kniha Pevná
common.buy 450 Kč
Objavujeme svet! RODINA neuvedený autor / Kniha Leporelo
common.buy 156 Kč
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Kniha Brožovaná
common.buy 546 Kč
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Kniha Pevná
common.buy 589 Kč
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Kniha Kniha
common.buy 424 Kč
Influencia del Señor Buda en Rabindranath Tagore / Kniha Brožovaná
common.buy 1 135 Kč
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Kniha Brožovaná
common.buy 328 Kč
Antony Alexandre Dumas / Kniha Brožovaná
common.buy 153 Kč
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Kniha Brožovaná
common.buy 402 Kč
Noc dlouhých nožů Roman Cílek / Kniha Brožovaná
common.buy 153 Kč
Paul Lincke Jan Kutscher / Kniha Pevná
common.buy 1 070 Kč
Excel 2013 en profundidad María Pérez Marques / Kniha Brožovaná
common.buy 993 Kč
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 575 Kč
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Kniha Brožovaná
common.buy 1 214 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods: Foundations and Applications
Autor Leila Ribeiro, Thierry Lecomte
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 253
EAN 9783319498140
ISBN 3319498142
Libristo kód 15195023
Nakladatelství Springer International Publishing AG
Váha 4044
Rozměry 155 x 235 x 16

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačová 3D grafika a modelování
Výpočetní a informační technologie > Počítačový hardware > Hardware počítačových a informačních technologií: údržba a opravy
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Top
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Kniha Brožovaná
common.buy 207 Kč
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 1 063 Kč
Ostentation Pamelia Barratt / Kniha Brožovaná
common.buy 339 Kč
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Kniha Brožovaná
common.buy 274 Kč
Urfspace Chuck Whelon / Kniha Brožovaná
common.buy 577 Kč
Připravujeme
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Kniha Brožovaná
common.buy 523 Kč
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Kniha Brožovaná
common.buy 437 Kč
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Kniha Pevná
common.buy 837 Kč
THE RAINBOW FEATHER FERGUS HUME / Kniha Pevná
common.buy 772 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?