phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Methods: Foundations and Applications

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods: Foundations and Applications Leila Ribeiro
Libristo kód: 15195023
Kiadó Springer International Publishing AG, november 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Zarzadzanie ryzykiem w organizacjach non profit Domański Jarosław / Kemény kötésű
common.buy 6 373 Ft
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Puha kötésű
common.buy 6 277 Ft
THE RAINBOW FEATHER FERGUS HUME / Kemény kötésű
common.buy 15 441 Ft
Leber und Galle entgiften und stärken Angela Fetzner / Kemény kötésű
common.buy 8 403 Ft
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Puha kötésű
common.buy 14 967 Ft
Paul Lincke Jan Kutscher / Kemény kötésű
common.buy 17 657 Ft
Excel 2013 en profundidad María Pérez Marques / Puha kötésű
common.buy 16 665 Ft
SPA-RIGBY PM COLECCION Rigby / Kemény kötésű
common.buy 32 277 Ft
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Puha kötésű
common.buy 8 025 Ft
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Kemény kötésű
common.buy 16 746 Ft
Antony Alexandre Dumas / Puha kötésű
common.buy 5 557 Ft
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Puha kötésű
common.buy 6 171 Ft

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.

Információ a könyvről

Teljes megnevezés Formal Methods: Foundations and Applications
Szerző Leila Ribeiro, Thierry Lecomte
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2016
Oldalszám 253
EAN 9783319498140
ISBN 3319498142
Libristo kód 15195023
Kiadó Springer International Publishing AG
Súly 4044
Méretek 155 x 235 x 16

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Információépítészet
Számítástechnika és információtechnológia > Grafikus és digitális média > 3D grafika és modellezés
Számítástechnika és információtechnológia > Számítógépes hardver > Karbantartás és javítás
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása