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
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods: Foundations and Applications Leila Ribeiro
Libristo kod: 15195023
Nakladnici Springer International Publishing AG, studeni 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Cijeli opis
? points 125 b
51.53 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Objavujeme svet! RODINA neuvedený autor / Knjiga Leporelo
common.buy 7.25 €
Antony Alexandre Dumas / Knjiga Meki uvez
common.buy 6.65 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Knjiga Meki uvez
common.buy 23.69 €
Pettersson und Findus 1 & 2, 2 DVD Jule Hermann / Video DVD
common.buy 12.19 €
OS Saberes Necess Marcos Justiniano / Knjiga Meki uvez
common.buy 6.14 €
Le destin de l'Europe Ivan Krastev / Knjiga Meki uvez
common.buy 19.46 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Knjiga Tvrdi uvez
common.buy 25.81 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Knjiga Knjiga
common.buy 16.63 €
Influencia del Señor Buda en Rabindranath Tagore / Knjiga Meki uvez
common.buy 49.72 €
Leber und Galle entgiften und stärken Angela Fetzner / Knjiga Tvrdi uvez
common.buy 19.76 €
SPA-RIGBY PM COLECCION Rigby / Knjiga Tvrdi uvez
common.buy 77.05 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Knjiga Meki uvez
common.buy 14.41 €
Noc dlouhých nožů Roman Cílek / Knjiga Meki uvez
common.buy 5.34 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Knjiga Meki uvez
common.buy 17.34 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Knjiga Meki uvez
common.buy 13.61 €
Paul Lincke Jan Kutscher / Knjiga Tvrdi uvez
common.buy 41.95 €
Excel 2013 en profundidad María Pérez Marques / Knjiga Meki uvez
common.buy 39.13 €
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Knjiga Meki uvez
common.buy 22.48 €
6 Lieder ohne Worte Felix Mendelssohn Bartholdy / Tiskanica Note
common.buy 9.47 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Knjiga Meki uvez
common.buy 52.94 €

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

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 Leila Ribeiro, Thierry Lecomte
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 253
EAN 9783319498140
ISBN 3319498142
Libristo kod 15195023
Nakladnici Springer International Publishing AG
Težina 4044
Dimenzije 155 x 235 x 16

Kategorija

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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

Top
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Knjiga Meki uvez
common.buy 9.07 €
Fix It! Carly Gledhill / Knjiga Leporelo
common.buy 10.58 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Knjiga Meki uvez
common.buy 46.19 €
Ostentation Pamelia Barratt / Knjiga Meki uvez
common.buy 14.72 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Knjiga Meki uvez
common.buy 11.99 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Knjiga Meki uvez
common.buy 19.15 €
Service Design Lavrans Lovlie / Knjiga Meki uvez
common.buy 56.37 €
Pripremamo
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Knjiga Meki uvez
common.buy 19.86 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Knjiga Tvrdi uvez
common.buy 36.30 €
THE RAINBOW FEATHER FERGUS HUME / Knjiga Tvrdi uvez
common.buy 33.48 €
Urfspace Chuck Whelon / Knjiga Meki uvez
common.buy 25.00 €

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?