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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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

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

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

Zákazníci také koupili

Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Kniha Kniha
common.buy 1 978 Kč
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio Audio CD
common.buy 300 Kč
Tišine Meša Selimović / Kniha Brožovaná
common.buy 317 Kč
BJ Alex 05 Mingwa / Kniha Brožovaná
common.buy 329 Kč
Das groe Nahbuch - Modelle fur Kinder Eva-Maria Heller / E-kniha Adobe ePub DRM
common.buy 106 Kč
Luz en la oscuridad Brittainy Cherry / E-kniha Adobe ePub DRM
common.buy 186 Kč
Tecnología educativa Julio . . . [et al. ] Cabero Almenara / Kniha Brožovaná
common.buy 1 059 Kč
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Kniha Pevná
common.buy 1 187 Kč
Raisonnement Clinique Sous-Jacent L Enseignement Ergoth rapique Carrier-A / Kniha Brožovaná
common.buy 1 318 Kč
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiokniha MP3
common.buy 147 Kč
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Tiskovina Mapa
common.buy 197 Kč
Ceol na Mara QR ed. Tarsila Kruse / Kniha Brožovaná
common.buy 521 Kč
Jexpressiq genow pri äpilepsii Om Prakash Verma / Kniha Brožovaná
common.buy 671 Kč
zhong guo shi qian shi di shi er juan / Kniha Brožovaná
common.buy 1 479 Kč
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Kniha Brožovaná
common.buy 975 Kč
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Kniha Brožovaná
common.buy 470 Kč
Malbuch fur Erwachsene Coloringcraze / Kniha Brožovaná
common.buy 404 Kč
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Kniha Pevná
common.buy 347 Kč
Like A Bird Or Spirit,Not A Face Sainkho Namtchylak / Audio Audio CD
common.buy 583 Kč
Musikgeschichte Tirols in drei Bänden Kurt Drexel / Kniha Kniha
common.buy 4 151 Kč
Erdoel A Schneider / Kniha Brožovaná
common.buy 155 Kč
Ein paar Schritte an Ihrer Seite Jörg Zink / Kniha List
common.buy 106 Kč
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Video Blu-ray
common.buy 316 Kč
El pensamiento de Bultmann Xabier Pikaza / Kniha Brožovaná
common.buy 471 Kč

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 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 Christiano Braga, Narciso Martí-Oliet
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 179
EAN 9783319150741
ISBN 331915074X
Libristo kód 09155898
Nakladatelství Springer International Publishing AG
Váha 2993
Rozměry 155 x 235 x 9

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
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

Clinical Management of Bacterial Pneumonia Antoni Torres / Kniha Brožovaná
common.buy 1 155 Kč
Advanced Thermal Management Materials Guosheng Jiang / Kniha Brožovaná
common.buy 2 357 Kč
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Kniha Pevná
common.buy 1 833 Kč
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Kniha Brožovaná
common.buy 366 Kč
Emotions: Things We Go Through Terrance L Caldwell Sr / Kniha Brožovaná
common.buy 299 Kč
The Theology of Benedict XVI: A Protestant Appreciation Tim Perry / Kniha Pevná
common.buy 576 Kč
Jews of Iran Houman M. Sarshar / Kniha Brožovaná
common.buy 991 Kč
Top
Halo: Ghosts of Onyx Eric Nylund / Kniha Brožovaná
common.buy 319 Kč
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 444 Kč
Companion Animal Behaviour Problems Rachel A Casey / Kniha Brožovaná
common.buy 1 310 Kč
History of the Dudley Family Dean Dudley / Kniha Brožovaná
common.buy 833 Kč
Nanoscale Materials in Water Purification Sabu Thomas / Kniha Brožovaná
common.buy 4 759 Kč
How to Draw Koi Fishes Step-by-Step Guide: Best Koi Fish Drawing Book for You and Your Kids Andy Hopper / Kniha Brožovaná
common.buy 450 Kč
Fox's Book of Martyrs John Foxe / Kniha Brožovaná
common.buy 628 Kč
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Kniha Brožovaná
common.buy 279 Kč
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Kniha Brožovaná
common.buy 278 Kč
Godspeed: A love story Dan Chabot / Kniha Brožovaná
common.buy 339 Kč
Tractatus Theologico-Politicus: A Critical Inquiry Into the History, Purpose, and Authenticity of Hebrew Scriptures Benedictus De Spinoza / Kniha Brožovaná
common.buy 881 Kč
Out-patients Elisabeth Murawski / Kniha Brožovaná
common.buy 217 Kč
Study Guide for Chemistry Theodore E. Brown / Kniha Brožovaná
common.buy 3 548 Kč
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Kniha Pevná
common.buy 903 Kč
Cruciform Way THOMA / Kniha Pevná
common.buy 577 Kč
Modern Language Review (120.2) April 2025 Duncan Wheeler / Kniha Brožovaná
common.buy 2 014 Kč
Rekindling the Flame Madison Myers / Kniha Brožovaná
common.buy 358 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?