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

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Adenilso Simao
Libristo kód: 01659166
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Celý popis
? points 146 b
1 457 Kč
Skladem u dodavatele Odesíláme za 10-18 dnů

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

Zákazníci také koupili

Die Polysaccharide Hans Pringsheim / Kniha Brožovaná
common.buy 1 763 Kč
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Kniha Brožovaná
common.buy 860 Kč
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Kniha Brožovaná
common.buy 641 Kč
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Kniha Brožovaná
common.buy 432 Kč
Top
Mágikus világok Johanna Basford / Kniha Brožovaná
common.buy 261 Kč
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiokniha MP3
common.buy 173 Kč
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Kniha Brožovaná
common.buy 486 Kč
El profesor de inglés Wang Gang / Kniha Brožovaná
common.buy 569 Kč
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Kniha Brožovaná
common.buy 369 Kč
Das Gehirn Marc Dingman / Kniha Pevná
common.buy 385 Kč
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Kniha Brožovaná
common.buy 165 Kč
Top
Jak napsat dobrý scénář Syd Field / Kniha Pevná
common.buy 258 Kč
Piensa, es gratis Joaquín Lorente Soler / Kniha Brožovaná
common.buy 485 Kč
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Kniha Brožovaná
common.buy 813 Kč
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Kniha Brožovaná
common.buy 612 Kč
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Kniha Brožovaná
common.buy 1 076 Kč
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Kniha Brožovaná
common.buy 328 Kč
Geometry and Differential Geometry Rafael Artzy / Kniha Brožovaná
common.buy 1 063 Kč
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Kniha Brožovaná
common.buy 913 Kč
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Kniha List
common.buy 301 Kč
Kameny a hvězdy Václav Cílek / Kniha Pevná
common.buy 276 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Adenilso Simao, Carroll Morgan
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 205
EAN 9783642250316
ISBN 3642250319
Libristo kód 01659166
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 338
Rozměry 155 x 235 x 15

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura
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

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Kniha Brožovaná
common.buy 3 532 Kč
Mister Rainbow C. S. Boag / Kniha Brožovaná
common.buy 756 Kč
Solar Eclipse Daniel Greene / Kniha Brožovaná
common.buy 217 Kč
The Automobile Green Book Automobile Legal Association / Kniha Brožovaná
common.buy 423 Kč
The Sleep Gas / Kniha Brožovaná
common.buy 425 Kč
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Kniha Brožovaná
common.buy 299 Kč
LEGO Star Wars Awesome Vehicles DK / Kniha Pevná
common.buy 357 Kč
Valuing Films L. Hubner / Kniha Brožovaná
common.buy 1 223 Kč
Pro Angular Adam Freeman / E-kniha Adobe ePub DRM
common.buy 1 776 Kč
Aesops Fables Jerry Pinkney / Kniha Pevná
common.buy 373 Kč
Puzzle Ignacio Gonz Li N / Kniha Brožovaná
common.buy 308 Kč
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Kniha Pevná
common.buy 7 045 Kč
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Kniha Brožovaná
common.buy 475 Kč
National Uncanny Renee L. Bergland / Kniha Brožovaná
common.buy 586 Kč
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Kniha Brožovaná
common.buy 267 Kč
The World's Fastest Level Up (Manga) Vol. 1 Fame / Kniha Brožovaná
common.buy 258 Kč
Rota Fortunae THIRTEEN O'CL PRESS / Kniha Brožovaná
common.buy 338 Kč
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Kniha Pevná
common.buy 7 827 Kč
Alice Hugo Vickers / Kniha Brožovaná
common.buy 456 Kč
Biometric Recognition Wei Jia / Kniha Brožovaná
common.buy 2 122 Kč
Accessible Assessment and Pedagogies Linda J. Graham / Kniha Brožovaná
common.buy 1 428 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?