Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Formal Methods: Foundations and Applications

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods: Foundations and Applications Christiano Braga
Libristo kod: 09155898
Nakladnici Springer International Publishing AG, siječanj 2015
This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SB... Cijeli opis
? points 100 b
41.11 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Jak stosowac runy na co dzien Alla Alicja Chrzanowska / Knjiga Meki uvez
common.buy 10.55 €
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Knjiga Knjiga
common.buy 77.60 €
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio Audio CD
common.buy 13.16 €
Tišine Meša Selimović / Knjiga Meki uvez
common.buy 11.05 €
BJ Alex 05 Mingwa / Knjiga Meki uvez
common.buy 14.37 €
Das groe Nahbuch - Modelle fur Kinder Eva-Maria Heller / E-knjiga Adobe ePub DRM
common.buy 4.11 €
Luz en la oscuridad Brittainy Cherry / E-knjiga Adobe ePub DRM
common.buy 7.23 €
Tecnología educativa Julio . . . [et al. ] Cabero Almenara / Knjiga Meki uvez
common.buy 41.51 €
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Knjiga Tvrdi uvez
common.buy 51.56 €
Raisonnement Clinique Sous-Jacent L Enseignement Ergoth rapique Carrier-A / Knjiga Meki uvez
common.buy 57.50 €
Waslene y la madrina del bosque Lauren Kratz Prushko / Audio knjiga MP3
common.buy 5.72 €
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Tiskanica Mapa
common.buy 8.54 €
Ceol na Mara QR ed. Tarsila Kruse / Knjiga Meki uvez
common.buy 22.51 €
Jexpressiq genow pri äpilepsii Om Prakash Verma / Knjiga Meki uvez
common.buy 29.25 €
zhong guo shi qian shi di shi er juan / Knjiga Meki uvez
common.buy 257.36 €
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Knjiga Meki uvez
common.buy 42.52 €
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Knjiga Meki uvez
common.buy 18.29 €
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Knjiga Tvrdi uvez
common.buy 15.17 €
Like A Bird Or Spirit,Not A Face Sainkho Namtchylak / Audio Audio CD
common.buy 25.12 €
Musikgeschichte Tirols in drei Bänden Kurt Drexel / Knjiga Knjiga
common.buy 161.85 €
Erdoel A Schneider / Knjiga Meki uvez
common.buy 6.73 €
Ein paar Schritte an Ihrer Seite Jörg Zink / Knjiga List
common.buy 4.92 €
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Video Blu-ray
common.buy 14.67 €
El pensamiento de Bultmann Xabier Pikaza / Knjiga Meki uvez
common.buy 18.29 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods: Foundations and Applications
Autor Christiano Braga, Narciso Martí-Oliet
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 179
EAN 9783319150741
ISBN 331915074X
Libristo kod 09155898
Nakladnici Springer International Publishing AG
Težina 2993
Dimenzije 155 x 235 x 9

Kategorija

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Clinical Management of Bacterial Pneumonia Antoni Torres / Knjiga Meki uvez
common.buy 50.16 €
Advanced Thermal Management Materials Guosheng Jiang / Knjiga Meki uvez
common.buy 102.33 €
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Knjiga Tvrdi uvez
common.buy 79.71 €
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Knjiga Meki uvez
common.buy 11.65 €
Emotions: Things We Go Through Terrance L Caldwell Sr / Knjiga Meki uvez
common.buy 12.96 €
The Theology of Benedict XVI: A Protestant Appreciation Tim Perry / Knjiga Tvrdi uvez
common.buy 22.11 €
Jews of Iran Houman M. Sarshar / Knjiga Meki uvez
common.buy 42.82 €
Top
Halo: Ghosts of Onyx Eric Nylund / Knjiga Meki uvez
common.buy 14.97 €
SEO for Business 2019: Step-by-Step Beginners Guide to Growth using Search Engine Optimization, Google Analytics, Adwords, and other Marketin Alexander Morgan / Knjiga Meki uvez
common.buy 19.19 €
Companion Animal Behaviour Problems Rachel A Casey / Knjiga Meki uvez
common.buy 59.71 €
History of the Dudley Family Dean Dudley / Knjiga Meki uvez
common.buy 36.38 €
Nanoscale Materials in Water Purification Sabu Thomas / Knjiga Meki uvez
common.buy 203.77 €
How to Draw Koi Fishes Step-by-Step Guide: Best Koi Fish Drawing Book for You and Your Kids Andy Hopper / Knjiga Meki uvez
common.buy 19.49 €
Fox's Book of Martyrs John Foxe / Knjiga Meki uvez
common.buy 27.13 €
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Knjiga Meki uvez
common.buy 12.05 €
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Knjiga Meki uvez
common.buy 12.05 €
Godspeed: A love story Dan Chabot / Knjiga Meki uvez
common.buy 14.67 €
Tractatus Theologico-Politicus: A Critical Inquiry Into the History, Purpose, and Authenticity of Hebrew Scriptures Benedictus De Spinoza / Knjiga Meki uvez
common.buy 37.99 €
Out-patients Elisabeth Murawski / Knjiga Meki uvez
common.buy 9.34 €
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Knjiga Tvrdi uvez
common.buy 39.00 €
Cruciform Way THOMA / Knjiga Tvrdi uvez
common.buy 24.92 €
Modern Language Review (120.2) April 2025 Duncan Wheeler / Knjiga Meki uvez
common.buy 86.95 €
Rekindling the Flame Madison Myers / Knjiga Meki uvez
common.buy 15.67 €
Top
Ghost Rider 2099 Omnibus Chris Bachalo / Knjiga Tvrdi uvez
common.buy 93.69 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?