Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Verification of Object-Oriented Software

Limba englezăengleză
Carte Carte broșată
Carte Formal Verification of Object-Oriented Software Bernhard Beckert
Codul Libristo: 01297498
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Descrierea completă
? points 148 b
319.92 lei
În depozitul extern în cantități mici Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Distinció. Un segle de fotografia de moda Naranjo Niño / Carte Carte broșată
common.buy 151.45 lei
Vyjdi, i vyšel Štěpán Hájek / Carte binding.
common.buy 17.94 lei
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni / Carte Carte broșată
common.buy 216.90 lei
Accès à l'eau potable Elamé / Carte Carte broșată
common.buy 123.96 lei
Papà, guarda! Eva Montanari / Carte Copertă tare
common.buy 90.03 lei
Sběratel vůní Dominique Roques / Carte Copertă tare
common.buy 70.84 lei
Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer / Carte Carte broșată
common.buy 334.65 lei
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Carte Carte broșată
common.buy 217.11 lei
Sto tváří, sto příběhů Jiří Hanuš / Carte Carte broșată
common.buy 85.06 lei
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Carte Carte broșată
common.buy 89.41 lei
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN / Carte Carte broșată
common.buy 123.33 lei
Salben im Morgen- und Abendlande Friedrich W. Culmann / Carte Carte broșată
common.buy 161.61 lei
Musiklehre, m. DVD Friedrich Neumann / Carte Foaie
common.buy 234.64 lei
Les Archives Star Wars. 1977-1983 Paul Duncan / Carte Copertă tare
common.buy 1 056.35 lei
Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant / Carte Carte broșată
common.buy 55.07 lei
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Carte Carte broșată
common.buy 354.46 lei

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Verification of Object-Oriented Software
Autor Bernhard Beckert
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 199
EAN 9783642180699
ISBN 3642180698
Codul Libristo 01297498
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 331
Dimensiuni 155 x 235 x 13

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

water me water you we grow together Crystal Prince / Carte Carte broșată
common.buy 91.38 lei
Eaf! Dog Days of Summer D J Hoard / Carte Carte broșată
common.buy 42.52 lei
Distinguishing Marks of a Work of the Spirit of God. Extracted from Mr. Edwards. ... by John Wesley, ... Jonathan Edwards / Carte Carte broșată
common.buy 99.78 lei
Back to Zero Gil Rendle / Carte Carte broșată
common.buy 71.46 lei
Logic of Thought of Investigation and of Knowledge Vol I Hermann Lotze / Carte Copertă tare
common.buy 209.75 lei
Raising Godly Children in an Ungodly World: Leaving a Lasting Legacy Ken Ham / Carte Carte broșată
common.buy 59.22 lei
Top
Stephen Shore: Uncommon Places Stephan Schmidt-Wulffen / Carte Copertă tare
common.buy 271.05 lei
Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre Michael Asher / Carte Carte broșată
common.buy 76.65 lei
Tornadoes Mari C. Schuh / Carte Carte broșată
common.buy 46.88 lei
China Classic Paintings Art History Series - Book 1: Mythology: English Version Zhou Wenjing / Carte Carte broșată
common.buy 71.26 lei
Rethinking New Womanhood Nazia Hussein / Carte Copertă tare
common.buy 643.37 lei
Artist Formerly Known as Adolf Hitler A.M OVERETT / Carte Carte broșată
common.buy 79.24 lei
Top
The Hot Rats Book Bill Gubbins / Carte Copertă tare
common.buy 168.87 lei
Anglo-American Insanity Defence Reform Faye Boland / Carte Carte broșată
common.buy 277.38 lei
Cycling Chef: Recipes for Getting Lean and Fuelling the Machine Alan Murchison / Carte Copertă tare
common.buy 122.50 lei
Quantum Pythagoreans Ivsin / Carte Carte broșată
common.buy 143.46 lei
The Near East: A Modern History William Yale / Carte Copertă tare
common.buy 303.11 lei
Stochastic Service Systems: The Siam Series in Applied Mathematics John Riordan / Carte Copertă tare
common.buy 209.75 lei
Top Curând
Cambridge Primary English Workbook 1 with Digital Access (1 Year) Gill Budgell / Carte Carte broșată
common.buy 71.05 lei
Fascism Roger Griffin / Carte Carte broșată
common.buy 76.24 lei
Maths - No Problem! Measuring, Ages 4-6 (Key Stage 1) Maths — No Problem! / Carte Carte broșată
common.buy 31.11 lei
Professor X: A Blue Devils MC Kiki Leach / Carte Carte broșată
common.buy 91.38 lei
Structural Equation Modelling with Partial Least Squares Using Stata and R Mehmetoglu / Carte Carte broșată
common.buy 393.57 lei
"They Say / I Say" with Readings Gerald Graff / Carte Copertă tare
common.buy 377.18 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo