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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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 112 b
46.20 €
Vanjske zalihe u manjem broju Šaljemo za 11-15 dana

Do 30 dana za povrat

Kupci su kupili i

CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Knjiga binding.
common.buy 19.04 €
333 Origami - Farbenfeuerwerk: Alcohol Ink / Knjiga Meki uvez
common.buy 10.33 €
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Knjiga Knjiga
common.buy 78.33 €
mei guo qi ye da xue de zu zhi xue xi / Knjiga Meki uvez
common.buy 64.14 €
Waslene y la madrina del bosque Lauren Kratz Prushko / Audio knjiga MP3
common.buy 5.67 €
BJ Alex 05 Mingwa / Knjiga Meki uvez
common.buy 15.29 €
Tišine Meša Selimović / Knjiga Meki uvez
common.buy 11.14 €
Anna Karenina Tom 1 Lev Tolstoy / Knjiga Meki uvez
common.buy 19.35 €
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Knjiga Meki uvez
common.buy 42.86 €
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Tiskanica Mapa
common.buy 8.40 €
El pensamiento de Bultmann Xabier Pikaza / Knjiga Meki uvez
common.buy 18.54 €
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Video Blu-ray
common.buy 13.77 €
Ein paar Schritte an Ihrer Seite Jörg Zink / Knjiga List
common.buy 4.55 €
Les Grandes Et Petites Miseres de la Vie Le Caveau / Knjiga Meki uvez
common.buy 17.42 €
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Knjiga Tvrdi uvez
common.buy 15.29 €
Radeau Antoine Choplin / Knjiga Meki uvez
common.buy 8.10 €
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Knjiga Meki uvez
common.buy 18.54 €
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio Audio CD
common.buy 13.27 €
Malbuch fur Erwachsene Coloringcraze / Knjiga Meki uvez
common.buy 17.73 €
Le Pere Goriot Honore De Balzac / Knjiga Meki uvez
common.buy 11.04 €
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Knjiga Meki uvez
common.buy 34.14 €

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

Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Knjiga Tvrdi uvez
common.buy 80.36 €
Clinical Management of Bacterial Pneumonia Antoni Torres / Knjiga Meki uvez
common.buy 55.93 €
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Knjiga Meki uvez
common.buy 12.15 €
The Art of War-Spirituality for Conflict: Annotated & Explained Thomas Huynh Cleary / Knjiga Meki uvez
common.buy 29.89 €
Flow boiling and condensation in microscale channels Fabio Toshio Kanizawa / Knjiga Meki uvez
common.buy 160.12 €
God Loves Her: 365 Devotions for Women by Women Xochitl Dixon / Knjiga Tvrdi uvez
common.buy 13.57 €
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Knjiga Tvrdi uvez
common.buy 31.71 €
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Knjiga Tvrdi uvez
common.buy 39.31 €
Study Guide for Chemistry Theodore E. Brown / Knjiga Meki uvez
common.buy 154.04 €
Godspeed: A love story Dan Chabot / Knjiga Meki uvez
common.buy 14.79 €
Public Health: A Very Short Introduction Virginia Berridge / Knjiga Meki uvez
common.buy 10.63 €
Descendants Of Thomas Olcott Henry Steel Olcott / Knjiga Meki uvez
common.buy 18.23 €
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Knjiga Meki uvez
common.buy 12.15 €
What's my name? CRISSY Tiina Walsh / Knjiga Meki uvez
common.buy 14.89 €
Fox's Book of Martyrs John Foxe / Knjiga Meki uvez
common.buy 27.35 €
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Knjiga Meki uvez
common.buy 14.38 €
Nanoscale Materials in Water Purification Sabu Thomas / Knjiga Meki uvez
common.buy 205.42 €
Accidents Of Youth / Knjiga Meki uvez
common.buy 17.93 €
Companion Animal Behaviour Problems Rachel A Casey / Knjiga Meki uvez
common.buy 57.35 €
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.35 €
Top
Halo: Ghosts of Onyx Eric Nylund / Knjiga Meki uvez
common.buy 15.09 €
Jews of Iran Houman M. Sarshar / Knjiga Meki uvez
common.buy 46.71 €
Emotions: Things We Go Through Terrance L Caldwell Sr / Knjiga Meki uvez
common.buy 13.06 €
Fat Funeral: The Scientific Approach to Long-Term Weight Loss Daniel S. Dell'uomo / Knjiga Meki uvez
common.buy 19.35 €

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?