buscar libros
libros
Donar
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Formal Software Development: From VDM to Java
Palgrave Macmillan
Quentin Charatan
,
Aaron Kans
vdm
specification
java
method
operation
formal
invariant
function
numberin
vdmset
accounts
哫
僆
ext
temperature
boolean
methods
precondition
figure
accnum
composite
postcondition
implementation
signal
values
operations
uml
implementing
sets
element
undefined
integer
patient
namein
actualtemp
details
vdmsequence
defined
statement
landed
specified
map
specifications
records
inv
vdmmap
transaction
appropriate
constructor
consider
Año:
2003
Idioma:
english
Archivo:
PDF, 2.96 MB
Sus etiquetas:
0
/
0
english, 2003
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×