Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Verification of Object-Oriented Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo kód: 01297498
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Celý popis
? points 136 b
56.01 €
Skladom u dodávateľa v malom množstve Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Distinció. Un segle de fotografia de moda Naranjo Niño / Kniha Brožovaná
common.buy 28.91 €
Vyjdi, i vyšel Štěpán Hájek / Kniha binding.
common.buy 3.33 €
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni / Kniha Brožovaná
common.buy 39.22 €
Accès à l'eau potable Elamé / Kniha Brožovaná
common.buy 20.92 €
Papà, guarda! Eva Montanari / Kniha Pevná
common.buy 17.18 €
Sběratel vůní Dominique Roques / Kniha Pevná
common.buy 11.52 €
Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer / Kniha Brožovaná
common.buy 74.51 €
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Kniha Brožovaná
common.buy 41.45 €
Sto tváří, sto příběhů Jiří Hanuš / Kniha Brožovaná
common.buy 12.53 €
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Kniha Brožovaná
common.buy 16.17 €
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN / Kniha Brožovaná
common.buy 23.55 €
Salben im Morgen- und Abendlande Friedrich W. Culmann / Kniha Brožovaná
common.buy 30.83 €
Musiklehre, m. DVD Friedrich Neumann / Kniha List
common.buy 44.68 €
Les Archives Star Wars. 1977-1983 Paul Duncan / Kniha Pevná
common.buy 202.02 €
Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant / Kniha Brožovaná
common.buy 9.90 €
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Kniha Brožovaná
common.buy 64.00 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Verification of Object-Oriented Software
Autor Bernhard Beckert
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 199
EAN 9783642180699
ISBN 3642180698
Libristo kód 01297498
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 331
Rozmery 155 x 235 x 13

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Objektovo orientované programovanie (OOP)
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

water me water you we grow together Crystal Prince / Kniha Brožovaná
common.buy 15.76 €
Eaf! Dog Days of Summer D J Hoard / Kniha Brožovaná
common.buy 7.17 €
Distinguishing Marks of a Work of the Spirit of God. Extracted from Mr. Edwards. ... by John Wesley, ... Jonathan Edwards / Kniha Brožovaná
common.buy 17.28 €
Back to Zero Gil Rendle / Kniha Brožovaná
common.buy 12.02 €
Logic of Thought of Investigation and of Knowledge Vol I Hermann Lotze / Kniha Pevná
common.buy 36.39 €
Raising Godly Children in an Ungodly World: Leaving a Lasting Legacy Ken Ham / Kniha Brožovaná
common.buy 10.00 €
Top
Stephen Shore: Uncommon Places Stephan Schmidt-Wulffen / Kniha Pevná
common.buy 45.80 €
Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre Michael Asher / Kniha Brožovaná
common.buy 13.94 €
Tornadoes Mari C. Schuh / Kniha Brožovaná
common.buy 8.38 €
China Classic Paintings Art History Series - Book 1: Mythology: English Version Zhou Wenjing / Kniha Brožovaná
common.buy 12.33 €
Rethinking New Womanhood Nazia Hussein / Kniha Pevná
common.buy 116.88 €
Artist Formerly Known as Adolf Hitler A.M OVERETT / Kniha Brožovaná
common.buy 13.34 €
Top
The Hot Rats Book Bill Gubbins / Kniha Pevná
common.buy 30.32 €
Anglo-American Insanity Defence Reform Faye Boland / Kniha Brožovaná
common.buy 50.55 €
Cycling Chef: Recipes for Getting Lean and Fuelling the Machine Alan Murchison / Kniha Pevná
common.buy 26.79 €
Quantum Pythagoreans Ivsin / Kniha Brožovaná
common.buy 25.07 €
The Near East: A Modern History William Yale / Kniha Pevná
common.buy 52.57 €
Stochastic Service Systems: The Siam Series in Applied Mathematics John Riordan / Kniha Pevná
common.buy 36.39 €
Top
Cambridge Primary English Workbook 1 with Digital Access (1 Year) Gill Budgell / Kniha Brožovaná
common.buy 16.07 €
Fascism Roger Griffin / Kniha Brožovaná
common.buy 13.13 €
Maths - No Problem! Measuring, Ages 4-6 (Key Stage 1) Maths — No Problem! / Kniha Brožovaná
common.buy 5.55 €
Professor X: A Blue Devils MC Kiki Leach / Kniha Brožovaná
common.buy 15.76 €
Structural Equation Modelling with Partial Least Squares Using Stata and R Mehmetoglu / Kniha Brožovaná
common.buy 68.95 €
"They Say / I Say" with Readings Gerald Graff / Kniha Pevná
common.buy 69.15 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?