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

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Christiano Braga
Libristo kód: 09155898
Nakladateľstvo Springer International Publishing AG, január 2015
This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SB... Celý popis
? points 100 b
41.36 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

mei guo qi ye da xue de zu zhi xue xi / Kniha Brožovaná
common.buy 64.02 €
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio Audio CD
common.buy 13.24 €
Tišine Meša Selimović / Kniha Brožovaná
common.buy 13.14 €
BJ Alex 05 Mingwa / Kniha Brožovaná
common.buy 14.46 €
Luz en la oscuridad Brittainy Cherry / E-kniha Adobe ePub DRM
common.buy 7.68 €
Radeau Antoine Choplin / Kniha Brožovaná
common.buy 8.59 €
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Kniha Pevná
common.buy 51.88 €
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Tlačovina Mapa
common.buy 6.87 €
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiokniha MP3
common.buy 6.06 €
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Kniha Brožovaná
common.buy 42.78 €
El pensamiento de Bultmann Xabier Pikaza / Kniha Brožovaná
common.buy 19.41 €
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Kniha Pevná
common.buy 15.26 €
Les Grandes Et Petites Miseres de la Vie Le Caveau / Kniha Brožovaná
common.buy 16.58 €
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Kniha Brožovaná
common.buy 32.56 €
Ein paar Schritte an Ihrer Seite Jörg Zink / Kniha List
common.buy 4.54 €
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Video Blu-ray
common.buy 13.75 €
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Kniha Kniha
common.buy 81.62 €
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Kniha Brožovaná
common.buy 19.31 €
Le Pere Goriot Honore De Balzac / Kniha Brožovaná
common.buy 10.51 €
Malbuch fur Erwachsene Coloringcraze / Kniha Brožovaná
common.buy 17.69 €
Anna Karenina Tom 1 Lev Tolstoy / Kniha Brožovaná
common.buy 18.30 €
CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Kniha binding.
common.buy 19.92 €
333 Origami - Farbenfeuerwerk: Alcohol Ink / Kniha Brožovaná
common.buy 9.70 €

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.

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 Christiano Braga, Narciso Martí-Oliet
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 179
EAN 9783319150741
ISBN 331915074X
Libristo kód 09155898
Nakladateľstvo Springer International Publishing AG
Váha 2993
Rozmery 155 x 235 x 9

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo
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ť

Clinical Management of Bacterial Pneumonia Antoni Torres / Kniha Brožovaná
common.buy 50.57 €
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Kniha Pevná
common.buy 80.21 €
Fox's Book of Martyrs John Foxe / Kniha Brožovaná
common.buy 25.99 €
Emotions: Things We Go Through Terrance L Caldwell Sr / Kniha Brožovaná
common.buy 12.33 €
Jews of Iran Houman M. Sarshar / Kniha Brožovaná
common.buy 46.62 €
Top
Halo: Ghosts of Onyx Eric Nylund / Kniha Brožovaná
common.buy 14.05 €
SEO for Business 2019: Step-by-Step Beginners Guide to Growth using Search Engine Optimization, Google Analytics, Adwords, and other Marketin Alexander Morgan / Kniha Brožovaná
common.buy 18.30 €
Companion Animal Behaviour Problems Rachel A Casey / Kniha Brožovaná
common.buy 54.11 €
Nanoscale Materials in Water Purification Sabu Thomas / Kniha Brožovaná
common.buy 196.64 €
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Kniha Brožovaná
common.buy 15.16 €
George Ashby's Poems George Ashby / Kniha Brožovaná
common.buy 15.26 €
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Kniha Brožovaná
common.buy 11.52 €
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Kniha Brožovaná
common.buy 11.52 €
Godspeed: A love story Dan Chabot / Kniha Brožovaná
common.buy 14.05 €
Study Guide for Chemistry Theodore E. Brown / Kniha Brožovaná
common.buy 153.75 €
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Kniha Pevná
common.buy 37.32 €
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Kniha Pevná
common.buy 30.03 €
Fat Funeral: The Scientific Approach to Long-Term Weight Loss Daniel S. Dell'uomo / Kniha Brožovaná
common.buy 18.30 €
New Regional Politics of Development A Payne / Kniha Brožovaná
common.buy 62.10 €
What's my name? CRISSY Tiina Walsh / Kniha Brožovaná
common.buy 14.05 €
London Postcards David Gentleman / Tlačovina Karty
common.buy 18.20 €
Complex of Upper Palaeolithic Sites Near Moravany, Western Slovakia Archeobooks / Kniha Brožovaná
common.buy 39.54 €
Cancer with Hope C. Michael Armstrong / Kniha Pevná
common.buy 54.92 €
Accidents Of Youth / Kniha Brožovaná
common.buy 16.88 €

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