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

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods: Foundations and Applications Leila Ribeiro
Libristo-code: 15195023
Uitgeverij Springer International Publishing AG, november 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Leber und Galle entgiften und stärken Angela Fetzner / Boek Gebonden (harde band)
common.buy 19.82 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Boek Gebonden (paperback)
common.buy 17.39 €
Objavujeme svet! RODINA neuvedený autor / Boek Leporello (harmonicaboek)
common.buy 7.37 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Boek Gebonden (paperback)
common.buy 23.76 €
Le destin de l'Europe Ivan Krastev / Boek Gebonden (paperback)
common.buy 20.63 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Boek Gebonden (harde band)
common.buy 25.89 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Boek Boek
common.buy 17.39 €
Influencia del Señor Buda en Rabindranath Tagore / Boek Gebonden (paperback)
common.buy 49.86 €
SPA-RIGBY PM COLECCION Rigby / Boek Gebonden (harde band)
common.buy 77.27 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Boek Gebonden (paperback)
common.buy 14.46 €
Antony Alexandre Dumas / Boek Gebonden (paperback)
common.buy 6.67 €
Noc dlouhých nožů Roman Cílek / Boek Gebonden (paperback)
common.buy 5.65 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Boek Gebonden (paperback)
common.buy 13.65 €
Paul Lincke Jan Kutscher / Boek Gebonden (harde band)
common.buy 44.30 €
Excel 2013 en profundidad María Pérez Marques / Boek Gebonden (paperback)
common.buy 40.96 €
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 / Boek Gebonden (paperback)
common.buy 23.76 €
6 Lieder ohne Worte Felix Mendelssohn Bartholdy / Drukwerk Bladmuziek
common.buy 10.11 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Boek Gebonden (paperback)
common.buy 53.10 €

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.

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 Leila Ribeiro, Thierry Lecomte
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2016
Aantal pagina's 253
EAN 9783319498140
ISBN 3319498142
Libristo-code 15195023
Uitgeverij Springer International Publishing AG
Gewicht 4044
Afmetingen 155 x 235 x 16

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Informatie-architectuur
Informatica en informatietechnologie > Grafische en digitale media-applicaties > 3D graphics en modellering
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

TOP
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Boek Gebonden (paperback)
common.buy 9.70 €
Fix It! Carly Gledhill / Boek Leporello (harmonicaboek)
common.buy 12.53 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Boek Gebonden (paperback)
common.buy 46.32 €
Ostentation Pamelia Barratt / Boek Gebonden (paperback)
common.buy 14.76 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Boek Gebonden (paperback)
common.buy 12.03 €
Service Design Lavrans Lovlie / Boek Gebonden (paperback)
common.buy 53.40 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Boek Gebonden (paperback)
common.buy 19.21 €
Wordt verwacht
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Boek Gebonden (paperback)
common.buy 21.33 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Boek Gebonden (harde band)
common.buy 36.41 €
THE RAINBOW FEATHER FERGUS HUME / Boek Gebonden (harde band)
common.buy 33.57 €
Urfspace Chuck Whelon / Boek Gebonden (paperback)
common.buy 25.08 €

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?