Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Formal Methods: Foundations and Applications

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

Taal EngelsEngels
Boek Paperback
Boek Formal Methods: Foundations and Applications Adenilso Simao
Libristo-code: 01659166
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Volledige beschrijving
? points 155 b
63.83 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Die Polysaccharide Hans Pringsheim / Boek Paperback
common.buy 76.60 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Boek Paperback
common.buy 17.58 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Boek Paperback
common.buy 26.23 €
PONS Der große Sprachkurs Englisch / Boek Paperback
common.buy 16.08 €
En plein cœur de la vie, histoire de civils Bierce / Boek Boek
common.buy 12.05 €
Progetto Italiano 1 Słowniczek + Elementy OOP Telis Marin / Boek Paperback
common.buy 8.43 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Boek Paperback
common.buy 20.00 €
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Luisterboek MP3
common.buy 7.13 €
El matrimonio, comunidad de vida y amor Claret Nonell / Boek Paperback
common.buy 35.78 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Boek Paperback
common.buy 34.17 €
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Boek Paperback
common.buy 16.08 €
Das Gehirn Marc Dingman / Boek Gebonden
common.buy 16.78 €
TOP
LARGE DOTTED SOFTCOVER NOTEBOOK MYRTLE G Moleskine / Kalender/agenda Agenda
common.buy 19.09 €
TOP
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Boek Paperback
common.buy 7.73 €
Jak napsat dobrý scénář Syd Field / Boek Gebonden
common.buy 14.06 €
El profesor de inglés Wang Gang / Boek Paperback
common.buy 23.21 €
Piensa, es gratis Joaquín Lorente Soler / Boek Paperback
common.buy 19.69 €
Suppli 6 Mari Okazaki / Boek Paperback
common.buy 6.12 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Boek Paperback
common.buy 140.94 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Boek Paperback
common.buy 26.73 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Boek Paperback
common.buy 46.94 €
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Boek Paperback
common.buy 14.37 €
Geometry and Differential Geometry Rafael Artzy / Boek Paperback
common.buy 46.14 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Boek Paperback
common.buy 48.15 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods: Foundations and Applications
Auteur Adenilso Simao, Carroll Morgan
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2011
Aantal pagina's 205
EAN 9783642250316
ISBN 3642250319
Libristo-code 01659166
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 338
Afmetingen 155 x 235 x 15

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Informatie-architectuur
Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Boek Paperback
common.buy 153.40 €
Mister Rainbow C. S. Boag / Boek Paperback
common.buy 33.27 €
Puzzle Ignacio Gonz Li N / Boek Paperback
common.buy 13.06 €
TOP
Aesops Fables Jerry Pinkney / Boek Gebonden
common.buy 17.58 €
Alice Hugo Vickers / Boek Paperback
common.buy 20.00 €
Valuing Films L. Hubner / Boek Paperback
common.buy 52.97 €
TOP
The World's Fastest Level Up (Manga) Vol. 1 Fame / Boek Paperback
common.buy 13.86 €
Pro Angular Adam Freeman / E-book Adobe ePub DRM
common.buy 73.51 €
LEGO Star Wars Awesome Vehicles DK / Boek Gebonden
common.buy 15.97 €
Absolute Pseudo Truths to the Origins of Life Dr Ima Fukuppe / Boek Gebonden
common.buy 28.04 €
Life Fulfilled: The Ultimate Goal Tawana R Powell / Boek Paperback
common.buy 13.26 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Boek Paperback
common.buy 13.26 €
The Sleep Gas / Boek Paperback
common.buy 18.50 €
Solar Eclipse Daniel Greene / Boek Paperback
common.buy 9.64 €
The North American Review V65 (1847) North American Review Corporation / Boek Paperback
common.buy 42.92 €
The Automobile Green Book Automobile Legal Association / Boek Paperback
common.buy 18.69 €
TOP
Unfuck Your Body Harper Phd Lpc-S Acs Acn Faith / Boek Paperback
common.buy 12.36 €
Adlerian Lifestyle Counseling Warren R. Rule / Boek Gebonden
common.buy 96.90 €
Le voyageur imprudent Barjavel / Boek Paperback
common.buy 10.85 €
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Boek Paperback
common.buy 21.40 €
National Uncanny Renee L. Bergland / Boek Paperback
common.buy 27.03 €
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Boek Paperback
common.buy 11.65 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Boek Gebonden
common.buy 343.72 €
Duke Ellington / Boek Paperback
common.buy 18.49 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?