A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods: Foundations and Applications Christiano Braga
Libristo kód: 09155898
Kiadó Springer International Publishing AG, január 2015
This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SB... Teljes leírás
? points 100 b
14 997 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

BJ Alex 05 Mingwa / Könyv Puha kötésű
common.buy 5 245 Ft
333 Origami - Farbenfeuerwerk: Alcohol Ink / Könyv Puha kötésű
common.buy 4 404 Ft
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Könyv Könyv
common.buy 26 999 Ft
mei guo qi ye da xue de zu zhi xue xi / Könyv Puha kötésű
common.buy 25 397 Ft
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Könyv Puha kötésű
common.buy 6 355 Ft
Tecnología educativa Julio . . . [et al. ] Cabero Almenara / Könyv Puha kötésű
common.buy 14 430 Ft
Tišine Meša Selimović / Könyv Puha kötésű
common.buy 4 749 Ft
CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Könyv binding.
common.buy 7 130 Ft
Luz en la oscuridad Brittainy Cherry / E-könyv Adobe ePub DRM
common.buy 2 788 Ft
Raisonnement Clinique Sous-Jacent L Enseignement Ergoth rapique Carrier-A / Könyv Puha kötésű
common.buy 20 979 Ft
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Könyv Kemény kötésű
common.buy 18 820 Ft
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Nyomtatványok Térkép
common.buy 3 223 Ft
Waslene y la madrina del bosque Lauren Kratz Prushko / Hangoskönyv MP3
common.buy 2 188 Ft
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Könyv Puha kötésű
common.buy 16 977 Ft
Jexpressiq genow pri äpilepsii Om Prakash Verma / Könyv Puha kötésű
common.buy 10 683 Ft
Radeau Antoine Choplin / Könyv Puha kötésű
common.buy 3 029 Ft
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Filmek Blu-ray
common.buy 5 396 Ft
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Könyv Kemény kötésű
common.buy 5 543 Ft
Musikgeschichte Tirols in drei Bänden Kurt Drexel / Könyv Könyv
common.buy 62 210 Ft
Le Pere Goriot Honore De Balzac / Könyv Puha kötésű
common.buy 4 328 Ft
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Könyv Puha kötésű
common.buy 13 292 Ft
Erdoel A Schneider / Könyv Puha kötésű
common.buy 2 651 Ft
Hamarosan
Ein paar Schritte an Ihrer Seite Jörg Zink / Könyv Lap
common.buy 1 663 Ft
Malbuch fur Erwachsene Coloringcraze / Könyv Puha kötésű
common.buy 6 757 Ft

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, AL, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Formal Methods: Foundations and Applications
Szerző Christiano Braga, Narciso Martí-Oliet
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 179
EAN 9783319150741
ISBN 331915074X
Libristo kód 09155898
Kiadó Springer International Publishing AG
Súly 2993
Méretek 155 x 235 x 9

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
Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány
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

Ezt is ajánljuk

Advanced Thermal Management Materials Guosheng Jiang / Könyv Puha kötésű
common.buy 37 337 Ft
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Könyv Kemény kötésű
common.buy 30 684 Ft
Clinical Management of Bacterial Pneumonia Antoni Torres / Könyv Puha kötésű
common.buy 18 324 Ft
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Könyv Puha kötésű
common.buy 5 486 Ft
Emotions: Things We Go Through Terrance L Caldwell Sr / Könyv Puha kötésű
common.buy 5 108 Ft
Jews of Iran Houman M. Sarshar / Könyv Puha kötésű
common.buy 17 757 Ft
Toplistás
Halo: Ghosts of Onyx Eric Nylund / Könyv Puha kötésű
common.buy 5 991 Ft
SEO for Business 2019: Step-by-Step Beginners Guide to Growth using Search Engine Optimization, Google Analytics, Adwords, and other Marketin Alexander Morgan / Könyv Puha kötésű
common.buy 7 584 Ft
Companion Animal Behaviour Problems Rachel A Casey / Könyv Puha kötésű
common.buy 22 534 Ft
History of the Dudley Family Dean Dudley / Könyv Puha kötésű
common.buy 13 258 Ft
Nanoscale Materials in Water Purification Sabu Thomas / Könyv Puha kötésű
common.buy 79 159 Ft
The Art of War-Spirituality for Conflict: Annotated & Explained Thomas Huynh Cleary / Könyv Puha kötésű
common.buy 11 642 Ft
Fox's Book of Martyrs John Foxe / Könyv Puha kötésű
common.buy 10 726 Ft
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Könyv Puha kötésű
common.buy 4 763 Ft
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Könyv Puha kötésű
common.buy 4 749 Ft
Godspeed: A love story Dan Chabot / Könyv Puha kötésű
common.buy 5 798 Ft
Study Guide for Chemistry Theodore E. Brown / Könyv Puha kötésű
common.buy 58 359 Ft
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Könyv Kemény kötésű
common.buy 15 314 Ft
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Könyv Kemény kötésű
common.buy 12 361 Ft
New Regional Politics of Development A Payne / Könyv Puha kötésű
common.buy 23 630 Ft
Descendants Of Thomas Olcott Henry Steel Olcott / Könyv Puha kötésű
common.buy 7 206 Ft
Modern Language Review (120.2) April 2025 Duncan Wheeler / Könyv Puha kötésű
common.buy 34 176 Ft
Rekindling the Flame Madison Myers / Könyv Puha kötésű
common.buy 6 294 Ft
Toplistás
Ghost Rider 2099 Omnibus Chris Bachalo / Könyv Kemény kötésű
common.buy 29 725 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?