phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Methods: Foundations and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Leila Ribeiro
Libristo kód: 15195023
Nakladatelství Springer International Publishing AG, listopadu 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Zarzadzanie ryzykiem w organizacjach non profit Domański Jarosław / Pevná
common.buy 382 Kč
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Brožovaná
common.buy 364 Kč
Leber und Galle entgiften und stärken Angela Fetzner / Pevná
common.buy 534 Kč
Excel 2013 en profundidad María Pérez Marques / Brožovaná
common.buy 1 059 Kč
Paul Lincke Jan Kutscher / Pevná
common.buy 1 110 Kč
Antony Alexandre Dumas / Brožovaná
common.buy 322 Kč
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Brožovaná
common.buy 465 Kč
THE RAINBOW FEATHER FERGUS HUME / Pevná
common.buy 896 Kč
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Brožovaná
common.buy 921 Kč
SPA-RIGBY PM COLECCION Rigby / Pevná
common.buy 2 051 Kč
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Brožovaná
common.buy 392 Kč
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Pevná
common.buy 971 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.

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

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