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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods: Foundations and Applications

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

Taal EngelsEngels
Boek Gebonden (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 161 b
66.55 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Die Polysaccharide Hans Pringsheim / Boek Gebonden (paperback)
common.buy 77.07 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Boek Gebonden (paperback)
common.buy 35.50 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Boek Gebonden (paperback)
common.buy 26.49 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Boek Gebonden (paperback)
common.buy 17.89 €
TOP
Mágikus világok Johanna Basford / Boek Gebonden (paperback)
common.buy 12.23 €
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Luisterboek MP3
common.buy 7.17 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Boek Gebonden (paperback)
common.buy 21.23 €
El profesor de inglés Wang Gang / Boek Gebonden (paperback)
common.buy 23.46 €
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Boek Gebonden (paperback)
common.buy 16.18 €
Das Gehirn Marc Dingman / Boek Gebonden (harde band)
common.buy 16.98 €
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Boek Gebonden (paperback)
common.buy 7.88 €
TOP
Jak napsat dobrý scénář Syd Field / Boek Gebonden (harde band)
common.buy 11.32 €
Piensa, es gratis Joaquín Lorente Soler / Boek Gebonden (paperback)
common.buy 20.02 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Boek Gebonden (paperback)
common.buy 35.70 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Boek Gebonden (paperback)
common.buy 26.90 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Boek Gebonden (paperback)
common.buy 47.23 €
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Boek Gebonden (paperback)
common.buy 14.46 €
Geometry and Differential Geometry Rafael Artzy / Boek Gebonden (paperback)
common.buy 46.42 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Boek Gebonden (paperback)
common.buy 39.54 €
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Boek Blad
common.buy 13.14 €
Kameny a hvězdy Václav Cílek / Boek Gebonden (harde band)
common.buy 12.53 €

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 - Gebonden (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 Gebonden (paperback)
common.buy 154.36 €
Mister Rainbow C. S. Boag / Boek Gebonden (paperback)
common.buy 32.66 €
Solar Eclipse Daniel Greene / Boek Gebonden (paperback)
common.buy 9.40 €
The Automobile Green Book Automobile Legal Association / Boek Gebonden (paperback)
common.buy 18.40 €
The Sleep Gas / Boek Gebonden (paperback)
common.buy 18.60 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Boek Gebonden (paperback)
common.buy 13.04 €
LEGO Star Wars Awesome Vehicles DK / Boek Gebonden (harde band)
common.buy 16.78 €
Valuing Films L. Hubner / Boek Gebonden (paperback)
common.buy 53.30 €
Pro Angular Adam Freeman / E-book Adobe ePub DRM
common.buy 73.43 €
Aesops Fables Jerry Pinkney / Boek Gebonden (harde band)
common.buy 16.38 €
Puzzle Ignacio Gonz Li N / Boek Gebonden (paperback)
common.buy 13.34 €
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Boek Gebonden (harde band)
common.buy 321.87 €
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Boek Gebonden (paperback)
common.buy 20.93 €
National Uncanny Renee L. Bergland / Boek Gebonden (paperback)
common.buy 26.49 €
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Boek Gebonden (paperback)
common.buy 11.72 €
The World's Fastest Level Up (Manga) Vol. 1 Fame / Boek Gebonden (paperback)
common.buy 11.32 €
Rota Fortunae THIRTEEN O'CL PRESS / Boek Gebonden (paperback)
common.buy 14.66 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Boek Gebonden (harde band)
common.buy 353.94 €
Alice Hugo Vickers / Boek Gebonden (paperback)
common.buy 21.54 €
Biometric Recognition Wei Jia / Boek Gebonden (paperback)
common.buy 92.75 €
Accessible Assessment and Pedagogies Linda J. Graham / Boek Gebonden (paperback)
common.buy 61.70 €

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?